Find Academic Supervisors

Deian StefanView profile

Associate Professor

• security
• programming languages
• systems
• +7 more

Deian Stefan is an Associate Professor at the University of California San Diego (UCSD) in the Department of Computer Science and Engineering . His research spans security , programming languages , and systems , with a focus on building principled and practical secure systems. He has served as a co-founder and Chief Scientist at Intrinsic (acquired by VMWare) and contributed to standards bodies like the W3C WebAppSec and Node.js Security Working Groups . His research interests include: Secure Systems : Web frameworks, browser designs, sandboxing, runtime systems Language-Based Security : Constant-time programming, memory safety, information flow control Verification : Security verification, static/symbolic analysis tools WebAssembly and JavaScript JITs security Deian Stefan has received multiple scientific awards , including several Distinguished Paper Awards at venues like POPL, ICFP, and USENIX Security, as well as the IEEE Cybersecurity Award for Practice (2022) and CSAW 2020 First Place for Applied Research. He has taught courses on Computer Security (CSE 127, CSE 227) and advanced topics in Building Secure Systems (CSE 291) using Rust, WebAssembly, and blockchain security. His work has been supported by collaborations with industry and academia, including projects like RLBox and COWL .

Ben FischView profile

Assistant Professor

• Cryptography
• Distributed Systems
• Blockchain Technology
• +5 more

Ben Fisch is an Assistant Professor of Computer Science at Yale University's School of Engineering & Applied Science. He is also the co-founder of Espresso Systems, a company focused on blockchain infrastructure. His research focuses on privacy and verifiability in decentralized systems like Bitcoin and Ethereum, with applications in digital finance and healthcare. Dr. Fisch received his B.A. from the University of Pennsylvania and completed his Ph.D. at Stanford University, where he worked with Dan Boneh in the applied cryptography research group. His educational background provided the foundation for his work at the intersection of cryptography, distributed systems, and economics. His research centers on leveraging cryptographic tools such as succinct non-interactive zero-knowledge proofs (zk-SNARKs), private information retrieval, and homomorphic encryption to address challenges in verifiable computation, verifiable storage, and verifiable fairness. He has made significant contributions to verifiable delay functions (VDFs) and proofs of replication, which have been adopted by major blockchain projects including Ethereum 2.0, Chia, and Filecoin. His work on Filecoin's Proofs of Replication has helped the network reach over 1.5 exabytes of storage capacity. His publication record shows a clear trend toward increasingly sophisticated cryptographic protocols for blockchain applications, with recent work focusing on data availability for Bitcoin rollups, efficient folding schemes for pairing-based arguments, and privacy pools with proof-carrying disclosures. His research bridges theoretical cryptography with practical implementations that have real-world impact in decentralized systems. His notable recognition includes: Best Paper Finalist at ACM CCS 2017 for 'Iron: Functional Encryption using Intel SGX' Dr. Fisch's research has led to significant technology transfer, most notably with his work on Verifiable Delay Functions (VDFs) sparking a multimillion dollar industry initiative through the VDF Alliance. His research on Proofs of Replication forms the basis of Filecoin's incentive layer and consensus protocol. His newer SNARK system Basefold is being used by several commercial products. He maintains active collaborations across academia and industry, with publications spanning top conferences in cryptography and security. As co-founder of Espresso Systems, Dr. Fisch leads a team developing next-generation blockchain infrastructure, particularly focusing on sequencing layers for rollups. His work bridges academic research with practical implementation, ensuring that theoretical advances in cryptography find real-world applications in decentralized systems.

Manoj SachdevView profile

Professor

• Semiconductor Devices
• Low-Power Electronics
• VLSI Design
• +7 more

Manoj Sachdev is a Professor in the Department of Electrical and Computer Engineering at the University of Waterloo, Faculty of Engineering. His research focuses on semiconductor devices, low-power electronics, and secure hardware systems. He leads projects in flexible electronics, nanotechnology, and radiation-hardened circuits, with applications in displays, memory technologies, and biomedical sensors. His work integrates advanced materials science with circuit design to address challenges in energy efficiency and security. Education: Not explicitly stated in provided text. Research interests span thin-film transistors (TFTs), resistive switching memories, neuromorphic computing, and physically unclonable functions (PUFs). Recent efforts include developing low-power circuits for flexible substrates and secure microprocessors. His contributions to semiconductor device physics and integration techniques have advanced applications in wearable electronics and medical diagnostics. Publications highlight innovations in low-power flip-flops, energy-efficient display drivers, and memristor-based systems. He collaborates on interdisciplinary projects combining photonics, nanoelectronics, and biomedical engineering. Awards: None explicitly listed in provided text. Grants and advising: Advises on semiconductor fabrication, secure hardware design, and radiation effects in electronics. Leads research groups focused on next-generation memory technologies and flexible integrated systems. Labs/Teams: Active in the University of Waterloo's semiconductor and flexible electronics research clusters, contributing to both academic and industry partnerships.

Alessandro ChiesaView profile

Associate Professor

• Cryptography
• Complexity Theory
• Computer Security
• +3 more

Alessandro Chiesa is an Associate Professor at École Polytechnique Fédérale de Lausanne (EPFL) in the School of Computer and Communication Sciences, holding positions across multiple departments including Computer Security (COMPSEC), SSC, SIN, and EDIC. His office is located at BC 245 in Building BC, Station 14, Lausanne, Switzerland. Chiesa's research spans cryptography, complexity theory, and computer security, with particular focus on the theoretical foundations and practical implementations of cryptographic proofs that are short and easy to verify. His work bridges theoretical computer science with real-world applications, especially in blockchain technology and privacy-preserving systems. He has made significant contributions to zero-knowledge proof systems, including zkSNARKs, and their applications in cryptocurrency. His publications reveal a strong focus on cryptographic protocols, with particular emphasis on privacy-preserving technologies. The analysis of his articles shows consistent work in applying mathematical foundations to practical security problems, especially in the domain of blockchain and digital currencies. His research demonstrates expertise in both theoretical aspects of cryptography and their implementation in real systems. IEEE SP Test-of-Time Award (2024) Sloan Research Fellowship (2021) Okawa Foundation Research Grant (2020) Google Faculty Research Awards (2018 and 2017) MIT Technology Review's 35 Innovators Under 35 list (2018) Chiesa has supervised multiple PhD students including Di Zijing, Fenzi Giacomo, Guan Ziyi, Knabenhans Christian Louis, Manzur Ignacio, Weissenberg Guy, and Zheng Yuxi. His teaching includes Algorithms I, Foundations of Probabilistic Proofs, and Lattice-based Cryptography. He co-founded Zcash and StarkWare Industries, translating his theoretical research into practical applications that have significantly impacted the cryptocurrency space.

Kristofer S.J. PisterView profile

Professor

• Micro/Nano Electro Mechanical Systems (MEMS)
• Control Systems
• Robotics
• +6 more

Kristofer Pister is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He co-directs the Berkeley Sensor and Actuator Center (BSAC) and the Ubiquitous Swarm Lab. His career spans groundbreaking innovations in Micro/Nano Electro Mechanical Systems (MEMS), Control Systems, and Low-Power Circuits, with a focus on Smart Dust and synthetic insects. Education: Ph.D. and M.S. in EECS from UC Berkeley (1992, 1989); B.A. in Applied Physics from UC San Diego (1986). His research areas include MEMS , Control Systems , Robotics , and Integrated Circuits , with recent work on self-powered micro-sensors, crystal-free radios, and interplanetary swarm networks. Key awards include the ISA Albert F. Sperry Founder Award (2009) , Alexander Schwarzkopf Prize (2006) , and the NSF CAREER Award (1996) . He has authored numerous influential publications in wireless sensor networks and microrobotics. His lab, Ubiquitous Swarm Lab , explores distributed robotics and swarm intelligence. Pister emphasizes open collaboration in research, ethical conduct in academia, and efficient resource utilization for graduate students.

Benedikt BünzView profile

Assistant Professor

• Applied Cryptography
• Blockchain Technology
• Consensus Algorithms
• +4 more

Benedikt Bünz is an Assistant Professor of Computer Science at New York University's Courant Institute of Mathematical Sciences. He is also a co-founder and chief scientist of Espresso Systems, where he applies his research expertise to real-world blockchain solutions. His academic work bridges theoretical cryptography with practical blockchain implementations, focusing on enhancing privacy, security, and usability of decentralized systems. Dr. Bünz's research centers around applied cryptography, consensus mechanisms, and game theory as they relate to cryptocurrencies. His work spans zero-knowledge proofs, verifiable delay functions, secure multi-party computation, and privacy-preserving protocols. He has made significant contributions to Bulletproofs, a zero-knowledge proof system deployed on blockchains like Monero, and pioneered research in verifiable delay functions which are now part of Ethereum 2.0's design. His recent work focuses on recursive proof systems, accumulation schemes, and efficient verification techniques for blockchain scalability. His publication record shows a consistent progression from foundational cryptographic primitives to practical blockchain implementations. Recent work demonstrates increasing sophistication in recursive proof systems (ProtoStar, HyperPlonk), novel accumulation techniques (ARC, DewTwo), and foundational work on randomness generation (VDFs). His research consistently bridges theoretical cryptography with real-world blockchain applications, resulting in protocols that are both theoretically sound and practically implementable across multiple blockchain platforms. Dr. Bünz actively contributes to the academic community through teaching and mentorship. He teaches courses on cryptography of blockchains and computer security at NYU, providing students with hands-on experience in blockchain security and cryptographic protocols. His industry engagement through Espresso Systems demonstrates his commitment to translating academic research into practical solutions for the blockchain ecosystem.

• Embedded Security
• Cryptography
• Hardware Security
• +5 more

Christof Paar is a Professor of Embedded Security at Ruhr University Bochum's Faculty of Computer Science. His work focuses on hardware security, cryptography, and embedded systems security. He leads the Embedded Security Group within the CASE Cluster of Excellence (Cyber Security in the Age of Large-Scale Attacks), addressing cutting-edge challenges in hardware Trojans, side-channel attacks, and cryptographic engineering. His research spans FPGA and IoT security, with contributions to physical-layer security, wireless jamming defenses, and tamper-resistant systems. Research Interests: Paar's expertise lies in hardware-software co-design for security, with a focus on embedded systems. His work includes analyzing vulnerabilities in FPGAs, developing countermeasures against side-channel attacks, and exploring physical-layer security mechanisms. He also investigates the human factors in hardware reverse engineering and the implications of adversarial machine learning on security systems. Notable Work: Recent publications highlight breakthroughs in detecting hardware Trojans across CMOS generations, breaking industry-standard IP protection mechanisms (IEEE 1735), and proposing novel defenses like IRShield against adversarial wireless sensing. His group actively contributes to standards for secure embedded systems and IoT devices, emphasizing practical implementations.

Daniel GottesmanView profile

Professor

• Quantum Computing
• Algorithms and Theory
• Quantum Error Correction
• +3 more

Daniel Gottesman is the Brin Family Endowed Professor in Theoretical Computer Science at the University of Maryland, affiliated with the Department of Computer Science, Institute for Advanced Computer Studies (UMIACS), and the Joint Center for Quantum Information and Computer Science (QuICS). He holds a Ph.D. in Physics from Caltech (1997) and has held positions at institutions like the Perimeter Institute and Quantum Benchmark. His research focuses on quantum computing, quantum error correction, and fault-tolerant systems, with contributions to stabilizer codes and quantum teleportation-based gates. Education: Bachelor's in Physics, Harvard University (1992) Ph.D. in Physics, California Institute of Technology (1997) Research Interests: Quantum error correction and fault-tolerant architectures Quantum cryptography and secure communication protocols Quantum complexity theory and algorithm design Applications of stabilizer codes and topological quantum computing Scientific Awards: Fellow of the American Physical Society CIFAR Senior Fellow in Quantum Information Science Three U.S. Patents (e.g., quantum key distribution systems) Advising & Grants: Supervised over 30 students/postdocs and served on numerous thesis committees. Active in securing funding for quantum research through endowed professorships and industry partnerships (e.g., Quantum Benchmark). Labs/Teams: Member of QuICS and UMIACS, collaborating on quantum hardware-software integration and error correction challenges.

Ian MiersView profile

Assistant Professor

• Computer Security
• Applied Cryptography
• Blockchain
• +4 more

Ian Miers serves as an Assistant Professor in the Department of Computer Science at the University of Maryland, holding a joint appointment with the University of Maryland Institute for Advanced Computer Studies (UMIACS) and serving as a core faculty member of the Maryland Cybersecurity Center (MC2). His academic home resides within the Department of Computer Science, though the overarching college/school structure is not explicitly stated in available materials. His research program centers on applied cryptography with a context-driven methodology: starting from real-world security challenges to develop deployable cryptographic protocols. Key focus areas include blockchain privacy (notably Zerocoin/Zerocash), zero-knowledge proofs, anonymous credentials, and secure messaging systems. Miers emphasizes practical implementations that address subtle security requirements in production environments, bridging theoretical cryptography with tangible system security. Analysis of his 15 most recent publications reveals dominant trends in zero-knowledge proof scalability (zkSNARKs), privacy-preserving infrastructure for blockchains, and cryptographic solutions for content moderation in encrypted messaging. His work consistently targets deployable systems, with increasing focus on balancing privacy guarantees with accountability requirements in real-world applications. Miers actively recruits PhD students for hands-on research in his small lab, emphasizing direct collaboration on applied security and blockchain problems. As a founding scientist of Aleo, Bolt Labs, and Zcash, he translates academic research into commercial products, with his work receiving coverage from major media outlets including The Washington Post, The New York Times, and Wired.

Daniel GenkinView profile

Associate Professor

• System Security
• Cryptography
• Side-Channel Attacks
• +7 more

Daniel Genkin is an Associate Professor at the School of Cybersecurity and Privacy and School of Computer Science at Georgia Institute of Technology. His research spans system security, cryptography, side-channel attacks, hardware security, cryptanalysis, secure multiparty computation (MPC), verifiable computation, and SNARKs. He holds a PhD in Computer Science from the Technion - Israel's Institute of Technology and was awarded the 2024 Sloan Research Fellowship. His work focuses on microarchitectural vulnerabilities, including Rowhammer , Cache Timing , and Speculative Execution attacks. Notable contributions include co-discovering Spectre and Meltdown vulnerabilities. He has received multiple awards, including Distinguished Paper Awards , IEEE Micro Top Picks , and Black Hat Pwnie Awards . Publications highlight trends in Side-Channel Analysis , Hardware Exploitation , and Cryptographic Implementations . His email is genkin@gatech.edu , and he actively seeks students for research in security and cryptography.

• Secure Decentralized Systems
• Blockchain Technology
• Systems Security
• +3 more

Prof. Bryan Ford leads the Decentralized/Distributed Systems (DEDIS) lab at EPFL. He focuses on secure decentralized systems, including blockchain technology, privacy, and systems security. He earned his Ph.D. from MIT and held faculty positions at Yale University and EPFL. His work spans distributed consensus protocols, peer-to-peer networking, and privacy-preserving systems. Key projects include QuePaxa (timeout-free consensus), UIA (global connectivity for mobile devices), and MedCo (secure healthcare data sharing). He advises numerous PhD students and contributes to open-source projects like Bitcoin collective signing and privacy networks like Riffle. Education: Ph.D., MIT; Postdoctoral work at Yale Research interests include blockchain scalability, consensus algorithms, and cryptographic privacy. His lab develops systems like TRIP for coercion-resistant voting and F3B to mitigate blockchain front-running. His work on NAT traversal and peer-to-peer protocols (e.g., STUN/ICE) remains foundational in network architecture. He emphasizes practical, auditable security solutions such as CertiKOS and atomic cross-chain transactions (Atom). Notable contributions: CoSi (collective signing), OmniLedger (sharded blockchain), and privacy-preserving protocols like PURBs (Protected Unsealable Recursive Boxes). His lab collaborates with Swiss Post to audit e-voting systems and designs democratic cryptocurrencies like PoPCoin.

Xinwen FuView profile

Professor

• Computer Security and Privacy
• IoT Security and Privacy
• Mobile Security
• +7 more

Dr. Xinwen Fu is a Professor in the Miner School of Computer & Information Sciences at the University of Massachusetts Lowell, where he also serves as Director of the iSAFER Center. He received his Ph.D. in Computer Engineering from Texas A&M University (2005), M.S. in Electrical Engineering from University of Science and Technology of China (1998), and B.S. in Electrical Engineering from Xi'an Jiaotong University (1995). Research Interests Dr. Fu specializes in Computer Security and Privacy , with particular focus on IoT Security , Mobile Security , Network Security , and Digital Forensics . His research has been published in all four top computer security conferences: IEEE Symposium on Security and Privacy (S&P/Oakland), ACM Conference on Computer and Communications Security (CCS), USENIX Security Symposium, and Network and Distributed System Security Symposium (NDSS), as well as prestigious journals like ACM/IEEE Transactions on Networking and IEEE Transactions on Dependable and Secure Computing. His work has gained significant media attention from CNN, Wired, Huffington Post, Forbes, Yahoo, MIT Technology Review, and PC Magazine, including multiple appearances on CNN Domestic and International. He has also served as TPC member for numerous prestigious conferences including ACM CCS, IEEE INFOCOM, and IEEE ICDCS. Scientific Awards Best paper award at IEEE International Conference on Industrial Internet (ICII) 2019 Best paper award, International Conference on Wireless Algorithms, Systems, and Applications (WASA), 2017 Teaching Excellence Award of Department of Computer Science, UMass Lowell, 2016 Best paper award, International Performance Computing and Communications Conference (IPCCC) 2016 Award of Excellence, GeekPwn 2016 Ethic Smart Life Hack Competition Erich Spengler Student Cyber Paper Award with students, The Colloquium for Information Security Education (CISSE), 2016 Spotlight Paper of the IEEE Transactions on Mobile Computing (TMC), February 2014 Best paper award, International Conference on Wireless Algorithms, Systems, and Applications (WASA), 2013 Best paper award, IEEE International Conference on Communications (ICC): Communications and Information Security Symposium, 2013 Teaching award, Department of Computer Science, University of Massachusetts Lowell, 2011

Norbert LutkenhausView profile

Professor

• Quantum Communication
• Quantum Key Distribution (QKD)
• Quantum Information Processing
• +4 more

Prof. Norbert Lütkenhaus is a Professor and Executive Director of the Institute for Quantum Computing (IQC) at the University of Waterloo, cross-appointed to the Department of Applied Mathematics. He holds affiliations with Perimeter Institute and the Centre for Applied Cryptographic Research. His research focuses on quantum communication theory, particularly quantum key distribution (QKD) and quantum repeaters. He has pioneered methods to bridge abstract quantum protocols with practical optical implementations, emphasizing secure key rate calculations and overcoming quantum channel limitations. Education: PhD (2003) in Physics from University Erlangen-Nürnberg, MSc (1993) and BSc (1990) from Ludwig-Maximilians-Universität München and RWTH Aachen, respectively. Awards include the 2015 American Physical Society Outstanding Referee Award and a 2009 University of Waterloo Excellence Award. Research interests span QKD protocols (e.g., decoy-state BB84, phase-error mitigation), quantum repeater architectures, and entanglement verification. He develops numerical tools for key rate analysis and addresses implementation security loopholes. His work includes theoretical frameworks for long-distance quantum communication and practical QKD system optimizations. Teaching includes courses on quantum information processing (PHYS 768/QIC 890) and mechanics (PHYS 115). He contributes to international standards via ETSI’s QKD-ISG and the QCrypt steering committee. His patents cover QKD system designs and phase-randomization techniques.

Amin SakzadView profile

Associate Professor

• Lattice-Based Cryptography
• Wireless Communications
• Post-Quantum Cryptography
• +6 more

Dr. Amin Sakzad is an Associate Professor in the Department of Software Systems & Cybersecurity at Monash University's Faculty of Information Technology. His research focuses on lattice-based cryptography, wireless communications, and post-quantum security protocols. He holds a PhD in Applied Mathematics from Amirkabir University of Technology (2011) and has held academic roles at Carleton University and Monash since 2012. Dr. Sakzad’s expertise spans lattice coding theory, MIMO systems, and privacy-preserving technologies for genomic databases and blockchain applications. He leads multiple ARC-funded projects, including work on secure databases (SRDBMS) and post-quantum cryptographic primitives for FinTech and energy sectors. His research has been recognized through awards such as the FIT Dean’s Award for Teaching Excellence (2021). Key collaborations include projects on blockchain security (CollinStar Lab), genomic data privacy, and energy market cybersecurity. His work addresses UN SDGs through contributions to quality education (SDG 4) and industry innovation (SDG 9). Recent publications highlight advancements in lattice-based cryptography (e.g., CRYSTALS-Kyber variants), privacy-preserving energy trading, and secure blockchain protocols like FPPW watchtower systems. His research bridges theoretical cryptography with practical implementations in embedded systems and 5G telecommunications. Grants: 16 active/completed projects including $1.2M in ARC funding Advising: Supervising PhD projects on lattice applications in post-quantum crypto and blockchain Labs: Core member of Monash’s Software Defined Telecommunications (SDT) Lab and CollinStar Lab

Jonathan A. KelnerView profile

Professor

• Algorithms
• Spectral Graph Theory
• Combinatorial Optimization
• +7 more

Jonathan A. Kelner is a Professor of Applied Mathematics in the Department of Mathematics at the Massachusetts Institute of Technology (MIT) and a member of the MIT Computer Science and Artificial Intelligence Laboratory (CSAIL). His research focuses on applying techniques from pure mathematics to solve fundamental problems in algorithms and complexity theory, with the goal of developing practical algorithms for real-world questions. Dr. Kelner received his undergraduate degree from Harvard University and his Ph.D. in Computer Science from MIT in 2006. Before joining the MIT faculty, he spent a year as a member of the Institute for Advanced Study. His educational background has provided a strong foundation for his interdisciplinary research spanning mathematics and computer science. His research interests include combinatorial optimization, mathematical programming, spectral graph theory, distributed computing, machine learning, computational geometry and topology, computational biology, signal processing, and random matrix theory. Kelner's work demonstrates how deep theoretical insights can lead to practical algorithmic improvements, particularly in graph algorithms and optimization problems. His approach often involves connecting seemingly disparate areas of mathematics to create novel algorithmic techniques. Analysis of his recent publications reveals a strong focus on spectral graph theory, optimization algorithms, and the Sum-of-Squares method. His work frequently addresses fundamental questions in theoretical computer science with practical implications for algorithm design. A notable trend in his research is the development of nearly-linear-time algorithms for various graph problems, which represents significant improvements over previous approaches. NSF CAREER Award Alfred P. Sloan Research Fellowship NEC Award for Research in Computers and Communication Sprowls Doctoral Dissertation Award Best Student Paper Award at STOC 2004 Best Paper Award at STOC 2011 Kokusai Denshin Denwa Junior Faculty Chair 2008 Harold E. Edgerton Faculty Achievement Award 2011 School of Science Award for Excellence in Undergraduate Education 2012 Professor Kelner has been actively involved in mentoring students and has received recognition for his teaching excellence, including the School of Science Award for Excellence in Undergraduate Education in 2012. His research has been supported by prestigious grants including the NSF CAREER Award. He has collaborated extensively with researchers across multiple institutions, often working with other leading figures in theoretical computer science to produce groundbreaking results in algorithm design. At MIT, Kelner is part of both the Mathematics Department and CSAIL, positioning him at the intersection of theoretical mathematics and practical computer science. This dual affiliation reflects the interdisciplinary nature of his work, which bridges pure mathematical theory with concrete algorithmic applications.