جست‌وجوی استاد و پژوهشگر

Alex Lombardiمشاهده پروفایل

استادیار

• Cryptography
• Theoretical Computer Science
• Post-Quantum Cryptography
• +۳ مورد دیگر

Alex Lombardi is an Assistant Professor of Computer Science at Princeton University, specializing in cryptography and theoretical computer science. His work explores cryptographic proof systems, post-quantum security, and quantum cryptography. Princeton University (Current) Simons-Berkeley Postdoctoral Fellow (Former) MIT (Graduate Training) Visiting Scientist, Cryptography 10 Years Later Program (2025) Education: PhD in Computer Science from MIT (advised by Vinod Vaikuntanathan) Master's Thesis on Provable Instantiations of Correlation Intractability and the Fiat-Shamir Heuristic Dr. Lombardi's research spans foundational cryptography, with a focus on indistinguishability obfuscation, worst-case assumptions, and quantum cryptographic protocols. His work on SNARGs and PPAD hardness has advanced cryptographic proof systems, while his recent projects address quantum verification and post-quantum security. He encourages prospective cryptography students to apply to Princeton's PhD program. His publications highlight advancements in LWE-based cryptography, quantum protocols, and complexity-theoretic foundations. Key themes include secure computation, hash function design, and cryptographic reductions under quantum assumptions. Scientific Awards: Simons-Berkeley Postdoctoral Fellowship Dr. Lombardi serves on program committees for STOC 2025, EUROCRYPT 2025, and other conferences. He has taught courses like COS 433/533 (Cryptography) and COS 533 (Advanced Cryptography) at Princeton.

Aayush Jainمشاهده پروفایل

استادیار

• Cryptography
• Theoretical Computer Science
• Applied Cryptography
• +۳ مورد دیگر

Aayush Jain is an Assistant Professor in the Computer Science Department at Carnegie Mellon University. Previously, he was a Postdoctoral Fellow at NTT Research and a PhD student at UCLA, advised by Professor Amit Sahai. His work bridges theoretical and applied cryptography with core computer science principles. Education PhD in Computer Science, University of California, Los Angeles (UCLA) Postdoctoral Fellowship, NTT Research Research Focus His research explores: foundational cryptography, indistinguishability obfuscation, functional encryption, lattice-based cryptography, secure multi-party computation, and post-quantum security. Work emphasizes rigorous theoretical frameworks with practical implications. Publication Trends Recent articles (2021-2024) demonstrate consistent focus on cryptographic primitives, obfuscation techniques, and security reductions. Dominant venues include CRYPTO, EUROCRYPT, FOCS, and STOC with emerging work in machine learning interfaces. Awards Best Paper Award at STOC 2021 for foundational contributions to indistinguishability obfuscation Advising and Collaboration Current PhD advisees: Alper Cakan, Quang Dao (co-advised), Sagnik Saha, Noah Singer (co-advised). Mentored postdocs: Mitali Bafna (2022-2023) and Rex Fernando (2022-2023). Teaches graduate courses in cryptography and theoretical tools. Leadership Leads the CMU Cryptography research group; organized the CMU Cryptography Workshop. Program committee member for FOCS, TCC, ITCS, and ICALP.

Vinod Vaikuntanathanمشاهده پروفایل

استاد

• Cryptography
• Fully Homomorphic Encryption
• Lattice-Based Cryptography
• +۴ مورد دیگر

Vinod Vaikuntanathan is the Ford Foundation Professor of Engineering in the MIT EECS department and a principal investigator at MIT CSAIL. He holds a BTech from IIT Madras (2003), and SM/PhD degrees from MIT (2005/2009). His research focuses on cryptography, particularly fully homomorphic encryption (FHE), lattice-based cryptography, and quantum-resistant systems. He co-founded Duality Technologies as Chief Cryptographer. **Education:** BTech in Computer Science (2003), Indian Institute of Technology Madras SM in Electrical Engineering & Computer Science (2005), MIT PhD in Computer Science (2009), MIT **Research Interests:** His work spans FHE (enabling computations on encrypted data), lattice-based cryptography (post-quantum security), and intersections with quantum computing, machine learning, and privacy. He explores applications in secure computation, algorithm design, and cryptographic protocols. **Awards:** Recipient of the Gödel Prize (2022), Simons Investigator (2023), and MacVicar Faculty Fellow (2024). His work on FHE and lattice algorithms has earned widespread acclaim in cryptography and theoretical computer science. **Teaching & Mentorship:** Advanced cryptography courses at MIT (e.g., 6.5630, 6.876J) Advised PhD students (e.g., Sergey Gorbunov, Tianren Liu) and postdocs (e.g., Nir Bitansky, Mark Zhandry) now leading positions in academia and industry **Collaborations:** Organizer of the Charles River Crypto Day and MIT Cryptography Seminar Principal investigator on grants from NSF, DARPA, and Microsoft

• Cryptography
• Post-Quantum Cryptography
• Network Security
• +۳ مورد دیگر

Douglas Stebila is an Associate Professor in the Department of Combinatorics and Optimization at the University of Waterloo, Faculty of Mathematics. His research focuses on cryptographic protocols, with an emphasis on post-quantum cryptography, TLS protocol security, and key exchange mechanisms. He has contributed to the design and analysis of cryptographic systems resilient to quantum computing threats, including work on hybrid key exchange methods and post-quantum TLS implementations. Stebila is involved in standards projects such as the Open Quantum Safe initiative, aiming to transition existing infrastructure to quantum-resistant algorithms. His recent work addresses security models for cryptographic protocols, including formal verification of key establishment schemes and analysis of real-world protocols like Signal and TLS. His research spans theoretical cryptography, applied protocol analysis, and implementation security. Key contributions include studies on obfuscated key exchange, verifiable decapsulation of post-quantum KEMs, and optimization of TLS handshake efficiency (e.g., TurboTLS). He also explores challenges in cryptographic protocol design, such as preventing double authentication and ensuring resistance against side-channel attacks. His work frequently bridges academic research with practical applications, emphasizing the transition of cryptographic innovations into real-world systems. Stebila collaborates with industry and academic partners on projects like the Open Quantum Safe initiative, which develops libraries for post-quantum cryptography integration. His publications often address security analyses of emerging protocols and their vulnerability to both classical and quantum adversaries. He has co-authored conference proceedings for major venues like CRYPTO and SAC, and contributed to standards documentation for protocols such as TLS and SSH.

• Security
• Embedded Systems Security
• Cyber-Physical Systems Security
• +۱۳ مورد دیگر

Francesco Regazzoni is a Senior Researcher at the Faculty of Informatics, Università della Svizzera italiana (USI), and affiliated with the Dalle Molle Institute for Artificial Intelligence (IDSIA USI-SUPSI). His work bridges embedded systems, cybersecurity, and artificial intelligence, with a focus on securing hardware and cyber-physical systems. Research Interests: His expertise spans embedded and cyber-physical systems security, side-channel attacks, post-quantum cryptography, hardware trojans, random number generators, and the security of AI and approximate computing. He also contributes to hardware/software co-design and operating systems security. The analysis of his recent publications reveals a consistent focus on hardware and system-level security , particularly in resource-constrained environments like IoT and embedded devices. His work integrates machine learning for attack detection and applies formal methods to ensure trust in hardware. A growing emphasis is placed on securing AI systems from physical and adversarial threats. Scientific Contributions: Over 100 peer-reviewed publications One book and one patent Extensive international collaboration (Belgium, Netherlands, USA, Switzerland, Singapore) Advising and Grants: While specific advisees and grants are not listed, his leadership in funded research projects and involvement with ALaRI and IDSIA suggest active mentorship and project coordination. His work has been supported by industry (e.g., ST Microelectronics, HP), the Swiss National Foundation, and the European Union. Labs and Teams: He is part of the Graph Machine Learning Group (GMLG) at IDSIA, which evolved from the Advanced Learning and Research Institute (ALaRI). This group focuses on graph machine learning, reinforcement learning, and dynamical systems, particularly in non-stationary environments.

Michael Eichbergمشاهده پروفایل

استاد

• Software Engineering
• Static Analysis
• Software Development Tools
• +۳ مورد دیگر

Michael Eichberg is a Professor at Technische Universität Darmstadt, Germany, where his work centers on software engineering, static analysis, programming languages, and secure software development tools. He is the principal architect of the OPAL framework for Java bytecode analysis and has an extensive publication record spanning PLDI, ICSE, ESEC/FSE, ISSTA, ASE, FSE, SOAP, and other premier venues. Research Interests: Static program analysis and its scalability to real-world code bases Software security, particularly cryptographic API misuse and Android app repackaging detection Concurrent and parallel programming models, including deterministic concurrency in Scala Software architecture conformance, drift and erosion detection, and rule reuse Development of open extensible tools and frameworks (OPAL, LectureDoc, QScope, Sextant, XIRC, IRC) Publication Trends: His recent work (2015-2022) demonstrates a strong focus on empirical evaluation of static analysis techniques, modular composition of analyses, and security-related program understanding. Key themes include unsoundness in call graph construction, purity and immutability analyses, parallelization of static analyses, and large-scale studies of cryptographic API misuse. Tools & Frameworks: OPAL – A flexible Java bytecode analysis and manipulation framework (core developer until 2019) LectureDoc 2 – Web-based lecture material authoring and presentation system QScope – Open extensible metrics framework for modern software projects Sextant – Eclipse-integrated software exploration tool XIRC/IRC – Frameworks for enforcing system-wide properties and architectural constraints

Alex Biryukovمشاهده پروفایل

استاد

• Applied Cryptography
• Cryptanalysis
• Authenticated Encryption
• +۴ مورد دیگر

Alex Biryukov is a full professor in Cryptography and Information Security at the University of Luxembourg, affiliated with the Computer Science and Communications Research Unit (CSC) and the Interdisciplinary Centre for Security, Reliability and Trust (SnT). Previously, he served as an associate professor and visiting professor at K.U.Leuven, contributing to European standards (NESSIE) and ECRYPT consortia. His expertise spans applied cryptography, cryptanalysis, lightweight cryptography for IoT, cryptocurrency security, and privacy technologies like Tor and blockchain. Biryukov has held roles as program chair for FSE'07, SAC'10, and INDOCRYPT'15, and is a program committee member for top conferences including CRYPTO and CCS. He leads the FNR CORE project ACRYPT on lightweight cryptography for IoT and contributes to the COST Action IC1403 on cryptanalysis of ubiquitous systems. His teaching focuses on symmetric cryptography, network security, and real-world applications. Biryukov earned his M.Sc. and Ph.D. from the Technion and completed postdoctoral research at the Weizmann Institute under Adi Shamir. Research interests include cryptanalysis of block ciphers (e.g., AES, SIMON, SPECK), cryptocurrency protocols, and privacy-enhancing technologies. He has pioneered attacks on AES variants and contributed to lightweight algorithms like SPARX and Argon2. Biryukov's work bridges theoretical cryptography with practical implementations, addressing security in embedded systems and blockchain.

Alex Lombardiمشاهده پروفایل

استادیار

• Cryptography
• Quantum Cryptography
• Theoretical Computer Science
• +۳ مورد دیگر

Alex Lombardi is an Assistant Professor of Computer Science at Princeton University, specializing in cryptography and theoretical computer science. He joined Princeton in 2023 after a Simons-Berkeley postdoctoral fellowship hosted by Shafi Goldwasser. His PhD in computer science from MIT (2022) was advised by Vinod Vaikuntanathan. His research focuses on the theoretical foundations of classical and quantum cryptography, with a strong emphasis on cryptographic protocols, complexity theory, and post-quantum security. Education: PhD in Computer Science, MIT (2022); Postdoctoral Fellowship at Simons Institute for the Theory of Computing (Berkeley). Prior academic roles include teaching at MIT (2018–2019) and serving as a teaching assistant for Cryptography and Cryptanalysis courses. Research interests span cryptographic proof systems (e.g., succinct arguments, zero-knowledge proofs), lattice-based cryptography, quantum-resistant algorithms, and complexity-theoretic hardness assumptions. His work often bridges cryptography with computational complexity, exploring topics like PPAD hardness, indistinguishability obfuscation, and the Fiat-Shamir heuristic. Recent publications highlight contributions to SNARGs (succinct non-interactive arguments), post-quantum security analyses, and foundational studies of cryptographic protocols under advanced assumptions (e.g., LWE, Decisional Diffie-Hellman). Key trends include advancing succinct verification techniques, analyzing quantum computational threats, and formalizing cryptographic assumptions via complexity reductions. Awards: No explicit awards listed, though his prolific publication record in top venues (STOC, CRYPTO, EUROCRYPT) reflects academic recognition. Teaching: Taught COS 533 (Advanced Cryptography) in 2023 and COS 433/533 (Cryptography) in 2024. Previously, led courses at MIT on cryptographic proofs and foundations. Service: Served on program committees for STOC 2025, EUROCRYPT 2025, and multiple CRYPTO and TCC events. Active in reviewing for leading cryptography and theoretical computer science conferences.

Alice Pellet-Maryمشاهده پروفایل

پژوهشگر

• Lattice-based Cryptography
• Algebraically Structured Lattices
• Cryptanalysis of Obfuscators
• +۱ مورد دیگر

Alice Pellet-Mary is a CNRS Researcher (chargée de recherche) at the University of Bordeaux since February 2021, affiliated with the Institut de Mathématiques de Bordeaux (IMB) and Canari INRIA research team. Previously, she completed a postdoctoral fellowship at KU Leuven's COSIC team (2019-2021) under Frederik Vercauteren and earned her PhD from ENS de Lyon's LIP laboratory (2016-2019) supervised by Damien Stehlé. Her research centers on lattice-based cryptography, specializing in algorithmic hardness problems for algebraically structured lattices. During her doctoral studies, she investigated cryptanalysis of obfuscators and multilinear maps, with current work extending to integer factorization applications. She actively contributes to the field through community initiatives like the June 2025 CHARM workshop on algebraic lattices in cryptography, which she co-organized at IMB. Dr. Pellet-Mary supervises Master's students, as evidenced by her open thesis proposal for 2026 on lattice-based integer factorization. Her academic service includes workshop organization and participation in collaborative research within the IMB and Canari teams, reflecting her engagement in advancing cryptographic research through both technical contributions and community building.

Zuoxia Yuمشاهده پروفایل

مدرس

• Privacy-Preserving Cryptography
• Blockchain Technology
• Lattice-Based Cryptography
• +۳ مورد دیگر

Zuoxia Yu is a Lecturer in Cyber Security at the University of Wollongong's School of Computing and Information Technology, where she researches privacy-preserving cryptography, blockchain applications, and post-quantum security. Her work develops advanced cryptographic primitives including accountable anonymous credentials, collusion-resistant watermarking, and lattice-based zero-knowledge proofs. Current research focuses on blocklistable anonymous credentials with post-quantum security and revocable ring signatures from lattice assumptions. She holds an ARC DECRA grant (2024-2026) for 'New Frontiers for Anonymous Authentication' and leads projects on lattice-based zero-knowledge proofs.

Ralph Moseleyمشاهده پروفایل

مدرس ارشد

• Cryptography
• Cryptanalysis
• Steganography
• +۵ مورد دیگر

Dr. Ralph Moseley is a Senior Lecturer in the Department of Computer Science at Middlesex University, based at the Hendon Campus. His research focuses on cryptography, cryptanalysis, steganography, and cyber security, particularly exploring intelligent automated response systems and bio-inspired defense mechanisms. He is affiliated with the International Association for Cryptologic Research (IACR). He teaches modules such as CST2570 Internet Technologies, CST4035 Cyber and Information Security, CST4045 Cross Platform Application Development, and CST4444 Postgraduate Research Projects. Contact him via R.Moseley@mdx.ac.uk or visit his office at TG02 in the Town Hall Building. No specific awards, grants, or student advisees are listed in the provided information. His research emphasizes cryptographic protocols and modern cybersecurity challenges.

Chaoyun Liمشاهده پروفایل

مدرس

• Cryptography
• Security and Privacy
• Applied Cryptography
• +۳ مورد دیگر

Chaoyun Li is a Lecturer in Software Security at the Surrey Centre for Cyber Security, University of Surrey, since March 2023. Prior to this, he served as a postdoc researcher at the COSIC research group, KU Leuven (2020–2023) and completed his PhD in cryptography under Prof. Bart Preneel at the same institution in 2020. His academic journey includes a Marie Skłodowska-Curie ESR Fellowship (2015–2019) as part of the EU H2020 ECRYPT-NET project. Chaoyun holds a PhD in Electrical Engineering from KU Leuven (2020) and has conducted extensive research in applied cryptography, cryptanalysis, privacy-enhancing technologies, and mathematical foundations of cryptography. His work focuses on breaking cryptographic systems, designing secure primitives, and optimizing lightweight ciphers for constrained environments. Notable contributions include advancements in side-channel attacks, MDS matrix design, and de Bruijn sequence construction. His research interests span symmetric cryptography, fault analysis, and secure implementations. Recent projects emphasize practical intrusion detection over encrypted traffic and the integration of cryptographic ciphers with fully homomorphic encryption (FHE). Chaoyun has received several accolades, including the FWO Junior Postdoc Fellowship (2020–2023) and the CHES 2021 Challenge WhibOx Contest victory for best implementations (2021). He actively contributes to academic service, serving on program committees for conferences like Indocrypt and IMACC, and reviewing for journals such as IEEE Transactions on Information Theory and Designs, Codes and Cryptography. As a mentor, he co-supervises PhD student Indranil Thakur and has guided master’s students Ryan De Koninck, Edward Wiels, Michiel Verbauwhede, and Xueming Zhong. His collaborative efforts include affiliations with imec-COSIC (KU Leuven) and visits to institutions such as the Chinese Academy of Sciences and Orange Labs. Professional activities include invited talks at venues like the International Workshop on Coding Theory and Cryptography and the Chinese Academy of Sciences. Chaoyun’s work bridges theoretical cryptography and practical security applications, with a focus on real-world implementations and vulnerabilities in cryptographic systems.

Serge Vaudenayمشاهده پروفایل

استاد

• Cryptography
• Communication Security
• Cryptographic Analysis
• +۴ مورد دیگر

Serge Vaudenay is a Full Professor at the École Polytechnique Fédérale de Lausanne (EPFL), leading the Security and Cryptography Laboratory (LASEC). He holds appointments in the School of Computer and Communication Sciences (IC), the School of Engineering (SSC), and the School of Electrical Engineering (SIN). His research focuses on cryptographic analysis, lightweight cryptography, and secure communication channels, emphasizing both theoretical foundations and practical applications. Education: Vaudenay earned his PhD in Computer Science from the University of Paris 7 in 1995 and completed his habilitation at EPFL. He joined EPFL in 1999, founding LASEC, which has become a global hub for cryptographic research. Research: His work spans cryptanalysis, protocol security, post-quantum cryptography, and privacy-preserving systems. Notable contributions include the analysis of Bluetooth encryption vulnerabilities, attacks on format-preserving encryption standards, and advancements in distance-bounding protocols. Recent efforts focus on quantum-resistant algorithms and secure contact tracing systems like SwissCovid. Teaching: He instructs courses on cryptography and communication security, emphasizing practical implementation and theoretical rigor. Over 25 PhD students have completed under his supervision, many contributing to industry and academia. Grants & Labs: He chairs the Doctoral Program in Computer and Communication Sciences and leads projects funded by Swiss National Science Foundation and EU Horizon programs. LASEC collaborates with industry partners on secure hardware and protocol development.

Avishai Woolمشاهده پروفایل

استاد

• Computer Security
• Network Security
• Wireless Security
• +۴ مورد دیگر

Prof. Avishai Wool is a faculty member at Tel Aviv University, serving as Head of the Systems Department in the School of Electrical and Computer Engineering and Deputy-Director of the Interdisciplinary Cyber Research Center. He received his B.Sc. (1989), M.Sc. (1992), and Ph.D. (1997) in Mathematics/Computer Science from Tel Aviv University and the Weizmann Institute. His career includes co-founding cybersecurity companies AlgoSec and Lumeta Corp. Research Interests: His work focuses on computer security , network security , SCADA systems , side-channel cryptanalysis , and firewall technology . Recent publications explore GPU overclocking faults , vehicular radar spoofing , power grid protocol diversity , and password strength estimation . Recent Article Trends: His 2024-2025 research spans SCADA network modeling , DDoS detection via stream analysis , password security via data-driven recommendations , vehicular camera spoofing , and RSA vulnerabilities from GPU faults . Earlier work includes cache attacks on TrustZone , Wi-Fi direction finding , and encrypted IoT traffic classification . Labs & Teams: He leads the Systems Department and contributes to the Interdisciplinary Cyber Research Center, focusing on practical cybersecurity solutions for industrial systems, wireless networks, and embedded devices.

Aleksei Udovenkoمشاهده پروفایل

پژوهشگر

• Symmetric Cryptography
• Cryptanalysis Techniques
• White-box Cryptography
• +۴ مورد دیگر

Aleksei Udovenko is a post-doctoral researcher at the Laboratory of Algorithmics, Cryptology and Security (LACS) within the Security and Trust (SnT) interdisciplinary center and the Department of Computer Science (CSC) at the University of Luxembourg. His research focuses on symmetric cryptography, cryptanalysis techniques, and white-box cryptography, with notable contributions to projects like Equihash (a memory-hard proof-of-work scheme used in cryptocurrencies) and the SPARX family of lightweight block ciphers. Education: PhD in Cryptology under Prof. Alex Biryukov (2019), MSc from ITMO University (2013). Research Interests: Symmetric-key algorithms, cryptanalysis methodologies, white-box cryptography, blockchain technologies, and lightweight cryptographic primitives. He actively participates in information security competitions (CTFs) and collaborates on projects related to cryptocurrency protocols and hardware-software security. Recent Work: Authored/co-authored papers on cryptanalysis of ARX-based ciphers, LPN attacks in white-box settings, and secure obfuscation techniques. Notable publications include work on Equihash (NDSS 2016), SPARX (ASIACRYPT 2016), and advancements in meet-in-the-filter cryptanalysis techniques (SAC 2022, CHES 2023). Professional Affiliations: Member of the CryptoLUX research group, contributing to interdisciplinary projects at the University of Luxembourg. Involved in conferences such as CRYPTO, CHES, and FSE.