Find Academic Supervisors

Mohamed-Lamine MessaiView profile

Professor

• Key Management in IoT Networks
• Cybersecurity
• Networking Security
• +3 more

Mohamed-Lamine Messai is a Professor at Université Lyon 2, France, specializing in cybersecurity, IoT security, and networking. He teaches courses such as Computer Security, Hacking Labs, and Cryptography, and is actively involved in research projects like ROMANCE (knowledge graph modeling for organizational vulnerabilities) and GLADIS (graph-based intrusion detection). His work focuses on key management systems, resource-constrained networks, and AI-driven cybersecurity solutions. He has supervised numerous PhD and master's students, including Abel Oroke, Floribert Katembo, and Sami Bettayeb. His research spans IoT security, blockchain applications, and graph neural networks for threat detection. He frequently presents at international conferences and workshops, including GRASEC, ARES, and IWCMC. Current projects include Federated Learning with Hybrid Encryption for APT detection and autonomous bio-inspired 5G deployment strategies. Key Projects: ROMANCE, GLADIS, CyberSecGraph, DATACAP Teaching: M1/M2 courses in Computer Security, IoT, Networking, and Distributed Computing Lab Affiliations: Involved in L3i lab activities and Open Days at the University of La Rochelle

Nobuko YoshidaView profile

Professor

• Programming Languages
• Concurrent and Distributed Systems
• Formal Verification
• +4 more

Prof. Nobuko Yoshida is the Christopher Strachey Chair of Computing at the University of Oxford's Department of Computer Science, leading the Programming Languages research theme. She joined Oxford in 2022 from Imperial College London, holding one of the oldest chairs in the department, previously held by Tony Hoare and Samson Abramsky. Her research focuses on session types , notably introducing Multiparty Session Types in 2008, which revolutionized protocol verification and earned the Most Influential POPL Paper Award (2018). Her work spans concurrent and distributed systems , formal verification, and industry collaborations with companies like Red Hat, Google, and EDF Energy. She holds EPSRC funding, is an Honorary Fellow at Glasgow University, and serves on editorial boards for leading journals like ACM Transactions on Programming Languages and Systems. Her research group develops tools such as Scribble for runtime monitoring, deployed in projects like the US Ocean Observatories Initiative. Awards include the British Computing Society Fellowship and EPSRC Established Career Fellowship. She mentors over 19 researchers who have secured academic and industry roles globally. Current students include Ari Hernawan, Kai Pischke, Jessica Richards, and Litu Zou.

• Concurrency
• Real-Time Systems
• Distributed Systems
• +3 more

Lukasz Ziarek is an Associate Professor in the Department of Computer Science and Engineering at the University at Buffalo, and serves as the Associate Dean for Academic Affairs in the School of Engineering and Applied Sciences. His research focuses on concurrency, real-time systems, distributed systems, and formal verification. He holds a PhD from Purdue University (2011) and a BS from the University of Chicago (2003). His research explores topics such as real-time Java implementations, session types for distributed protocols, and visual debugging techniques. Recent work includes formal models for secure multiparty computation, IoT device validation, and optimizing visual SLAM systems for robotics applications. He has contributed to frameworks like Juav (a Java-based UAV autopilot) and RTDroid (a real-time Android extension). Ziarek has received notable awards including the 2023 IEEE Technological Innovation Award, 2022 Meyerson Teaching Award, and 2018 NSF CAREER Award. His grants include collaborative research on UAV software infrastructure and real-time communication protocols. He actively develops tools like PTDETECTOR for JavaScript library analysis and Anodize for mixed-criticality systems. His work integrates formal methods with practical systems, addressing challenges in embedded systems security, compiler optimization, and real-time programming language design. He maintains a lab focused on advancing reliable software for autonomous systems and distributed computing environments.

• Data Privacy
• Cyber Security
• Cloud Security
• +5 more

Professor Xun Yi is a faculty member at RMIT University's School of Computing Technologies, specializing in cybersecurity, data privacy, and distributed computing. His research focuses on privacy-preserving technologies in cloud systems, blockchain applications, federated learning, and secure communication protocols. He has published over 150 papers in top-tier journals and conferences, including IEEE Transactions on Dependable and Secure Computing. Since 2014, he has served as an Associate Editor for the IEEE Transactions on Dependable and Secure Computing, and has organized major events like the Australasian Information Security Conference (AISC) in 2015 and 2016. Professor Yi actively supervises PhD and Master's research projects, focusing on topics like secure IoT systems, privacy-aware machine learning, and blockchain-enabled frameworks. His work emphasizes practical solutions for real-world challenges in data security and privacy. Research Interests: Data Privacy, Cyber Security, Cloud Security, Wireless/Mobile Security, Applied Cryptography Blockchain-based Systems, Federated Learning, Privacy-Preserving AI Recent Contributions: Developed frameworks for secure data aggregation in smart grids and healthcare systems Advanced techniques for privacy-preserving federated learning and graph neural networks Contributed to standards for secure authentication in vehicular networks (VANETs) Supervision: Open to mentoring students in cybersecurity, privacy-enhancing technologies, and IoT security.

Jack DoernerView profile

Assistant Professor

• Theoretical and Applied Cryptography
• Multiparty Computation
• Threshold Signatures
• +7 more

Jack Doerner is an Assistant Professor in the Department of Computer Science at the University of Virginia, within the School of Engineering and Applied Science. He earned his Ph.D. in Computer Science from Northeastern University in 2022 and holds B.S. and B.A. degrees in Computer Science and Studio Art from the University of Virginia (2015). His research focuses on the theoretical and applied aspects of cryptography, with core interests in secure multiparty computation (MPC), threshold signatures, zero-knowledge proofs, and oblivious RAM. His work aims to design efficient, secure, and practical cryptographic protocols, particularly for applications in cryptocurrency and secure computation. His most influential work is a series of highly efficient threshold ECDSA protocols, developed with collaborators like abhi shelat and Yashvanth Kondi. These protocols are secure under standard cryptographic assumptions and have achieved remarkable performance, being implemented by major companies like Coinbase, Visa, and Web3Auth. His research also includes significant contributions to MPC with identifiable abort, coin tossing extension, and the foundational theory of ideal signature functionalities. Best Paper Award, ACM CCS 2017 He has advised research and collaborated extensively, leading to numerous publications in top venues like IEEE S&P, ACM CCS, Eurocrypt, and Crypto. His work often bridges theory and practice, resulting in open-source implementations and widespread adoption. He has no known lab or team name mentioned, but his research is conducted within the broader context of the University of Virginia's computer science research community.

Sara Miner MoreView profile

Academic

• Computer Science Education
• Cryptography
• Information Flow
• +3 more

Sara Miner More is an Associate Teaching Professor in the Department of Computer Science at Johns Hopkins University, where she has served since 2014. As of 2019, she is the Director of Gateway Computing. Her research focuses on computer science education, cryptography, and the foundations of computing. Ph.D. in Computer Science (2003), UC San Diego MS in Computer Science (1998), UC San Diego BS in Computer Science and Mathematics (1996), University of Dayton Her research interests span: Computer science pedagogy and curriculum development Information flow security and cryptographic protocols Formal logic and dependency relations in computing Notable trends in her publications include: Foundational cryptography research (1999-2002) Transition to computer science education and logic (2005-2012) Collaborative security models with hypergraph applications Scientific awards: Robert B. Pond, Sr. Excellence in Teaching Award (2016) She teaches multiple gateway computing courses including Java and Python bootcamps, data structures, and automata theory.

Stephanie BalzerView profile

Assistant Professor

• Programming Languages
• Program Verification
• Type Theory
• +7 more

Dr. Stephanie Balzer is an Assistant Professor in the Principles of Programming Group at Carnegie Mellon University's School of Computer Science. Her research focuses on enabling failure-free software through formal methods like type systems and verification logics. She emphasizes compositional proofs for scalability and practical validation via software artifacts. Programming Languages Type Theory Program Verification Concurrency & Security Her recent work explores timed protocols, disentanglement logic, and multiparty session types. Articles demonstrate semantic logical relations for termination (2025), deadlock freedom in Rust embeddings (2022), and information flow control (2024). Key collaborative papers address cyclic process networks and separation logic frameworks. Scientific recognition includes: NSF CAREER Award (2025) ACM SIGPLAN Distinguished Paper (2022) ECOOP Distinguished Paper (2022) She supervises PhD candidates Yue Yao, Yinsen Zhang, and Zak Kent (with Guy Blelloch), plus Master's student Sonya Simkin. Former advisee Jules Jacobs received Cum Laude distinction at Radboud University. Active in academic service, Balzer chairs PLMW@POPL workshops and co-organizes Oregon Programming Language Summer School. She serves on program committees for LICS, POPL, and ICFP.

• Secure Multi-party Computation
• Distributed Computing

Divya Ravi is an Assistant Professor in the Theory of Computer Science (TCS) Group at the University of Amsterdam, Netherlands, and a former post-doctoral researcher in the Cryptography and Security Group at Aarhus University, Denmark. Education: PhD in Computer Science from Indian Institute of Science (IISc), Bangalore, India, supervised by Dr. Arpita Patra M.E (Masters) in Computer Science from Computer Science and Automation (CSA), IISc B.E (Bachelors) in Computer Science from BITS Pilani, Hyderabad Campus, India Research Interests: Secure Multi-party Computation Distributed Computing Her work focuses on the feasibility of secure multiparty computation tasks and efficient distributed computing protocol design under varying network and computational models. No scientific awards or advisees are listed in the provided text.

Robbert KrebbersView profile

Associate Professor

• Semantics
• Separation logic
• Theorem proving
• +7 more

Robbert Krebbers is an associate professor at the Department of Software Science at Radboud University Nijmegen, Netherlands. He is a leading researcher in program verification, specializing in separation logic and the Coq proof assistant. Krebbers is a core contributor to the Iris framework, a higher-order concurrent separation logic framework implemented in Coq. His research spans theoretical foundations of programming languages and practical applications to real-world languages including C, Rust, and Scala. His research interests focus on scaling program verification techniques to challenging programming paradigms like concurrency, higher-order functions, and modules. Krebbers' work bridges formal methods with practical language implementation, particularly in verifying memory safety and concurrency properties. He has made significant contributions to Rust verification through the RustBelt project and has pioneered techniques for verifying concurrent data structures and message-passing systems. Krebbers' recent publications demonstrate a strong trend toward verifying complex concurrency patterns, developing automated proof techniques, and applying separation logic to practical programming language features. His work frequently appears in top-tier programming languages conferences including POPL, PLDI, and ICFP, with several papers receiving distinguished paper awards. The research spans from foundational logic development to practical verification tools for real-world programming languages. As a principal investigator in the Iris project, Krebbers has secured significant research funding including the ERC Consolidator Grant for the RustBelt project. His work has influenced both academic research and industrial practice, particularly in the Rust programming language ecosystem. The Iris framework he helped develop has been adopted by numerous verification projects worldwide. Krebbers has advised PhD students including Ike Mulder (focusing on proof automation for concurrent separation logic) and Jules Jacobs (working on guarantees by construction). He has been actively involved in the programming languages research community, serving on program committees for major conferences and organizing workshops on formal methods and verification. He leads research in the Department of Software Science at Radboud University, where his group focuses on developing foundational techniques for program verification. The group collaborates closely with the Logic and Semantics Group and Foundations of Programming Group across institutions, contributing to a vibrant research ecosystem around formal methods and programming languages.

Stephanie BalzerView profile

Assistant Professor

• Programming Languages
• Type Theory
• Program Verification
• +6 more

Stephanie Balzer is an Assistant Professor in the Principles of Programming Group at Carnegie Mellon University's School of Computer Science. She received her PhD from ETH Zurich under Thomas R. Gross and focuses on developing rigorous type systems and verification logics to build failure-free, secure software through compositional and practical methods. Education: PhD (ETH Zurich), Master's (University of Zurich), Semester Thesis (University of Zurich) Her research spans session types , logical relations , and separation logic to ensure correctness and security in concurrent systems. Recent work includes verifying timed message-passing protocols and disentanglement in type systems. Key publication trends include session-typed concurrency , noninterference , and deadlock freedom across programming languages, formal methods, and security domains. She has authored multiple distinguished papers at ECOOP and POPL. Scientific Awards: NSF CAREER Award, ACM SIGPLAN Distinguished Paper, ECOOP Distinguished Paper She advises PhD students including Yue Yao, Yinsen Zhang, and Zak Kent, and has supervised former PhD students like Jules Jacobs (now at Cornell). Her grants include NSF funding for IoT verification , heterogeneous applications , and real-time protocols .

Mikhail J. AtallahView profile

Professor

• Information Security
• Algorithms
• Quantum Computing
• +4 more

Mikhail J. Atallah is a Distinguished Professor of Computer Science at Purdue University, affiliated with the Department of Computer Science under the College of Science. He has been a faculty member since Fall 1982. His research focuses on information security, algorithms, and quantum computing. He holds ACM and IEEE Fellowships and has received prestigious awards such as the 2015 CCS Test of Time Award and the 2017 Arden L. Bement Jr. Award. Education: PhD (1982), MS (1980) in Electrical Engineering and Computer Science from Johns Hopkins University; BE (1975) in Electrical Engineering from the American University in Beirut. Research Interests: Includes cryptographic protocols, secure computation, privacy-preserving techniques, and theoretical foundations of algorithms. He has pioneered work on key management and multi-party computation, with applications in secure data outsourcing and authentication systems. Publications: Over 250 papers, including influential works on secure outsourcing of computations, privacy-preserving data analysis, and cryptographic algorithms. Recent trends highlight advancements in biometric authentication, manufacturing security, and lightweight cryptography. Awards: Test of Time Awards (CCS 2015, ACSAC 2021), Purdue’s highest scientific honor (Bement Award), and multiple industry-recognized accolades. Advising: Mentored over 20 PhD students, many of whom have become prominent in academia and industry (e.g., Michael T. Goodrich, Danny Z. Chen). Labs/Teams: Active in cybersecurity research groups at Purdue, contributing to projects on secure manufacturing, collaborative design, and privacy-enhancing technologies.

Jack DoernerView profile

Assistant Professor

• Cryptography
• Secure Multiparty Computation
• Oblivious RAM (ORAM)
• +4 more

Jack Doerner is an Assistant Professor of Computer Science at the University of Virginia. His research focuses on cryptography, particularly secure multi-party computation, threshold cryptography, and oblivious RAM (ORAM). Previously, he held postdoctoral positions at Brown University (hosted by Anna Lysyanskaya) and jointly at the Technion and Reichman University (hosted by Yuval Ishai and Elette Boyle). He completed his PhD at Northeastern University, advised by Abhi Shelat. His work spans foundational advancements in cryptographic protocols, including threshold ECDSA, modular analysis of broadcast protocols, and scalable ORAM solutions. Notable contributions include the first constant-round coin tossing extension with guaranteed output and efficient secure stable matching at scale. His research emphasizes practical efficiency and security in distributed systems. Doerner also engages in artistic endeavors, creating films, photography, and sculptures that explore perception and space. His art has been exhibited in galleries such as the Second Street Gallery in Charlottesville. Publications highlight contributions to secure computation frameworks, threshold signatures, and cryptographic protocols. His work addresses challenges in distributed systems, privacy-preserving algorithms, and foundational cryptographic assumptions.

Anna PappaView profile

Research Professor

• Quantum Cryptography
• Quantum Communication
• Secure Multi-Party Computation
• +3 more

Anna Pappa is an Emmy Noether Group Leader at the Electrical Engineering and Computer Science Department of Technical University Berlin, leading the Quantum Communication and Cryptography group funded by DFG since 2020. Previously, she held Marie Sklodowska-Curie Fellowships at the Dahlem Center for Complex Quantum Systems (Freie Universität Berlin) and University College London (UCL). Her research focuses on quantum protocols with provable security in realistic environments, quantum communication, cryptography, and secure multi-party computation. She has a PhD from Télécom Paristech and Paris Diderot, and earlier degrees from the National Technical University of Athens (NTUA). Key achievements include experimental plug-and-play quantum coin flipping, quantum network routing algorithms, and entanglement verification techniques resistant to dishonest participants. She has received notable awards such as the Emmy Noether Fellowship (DFG) and Google Anita Borg Memorial Scholarship. Pappa’s work bridges theoretical quantum computing with practical implementations, emphasizing security in quantum systems. Her academic career includes postdoctoral roles at the University of Edinburgh and UCL, alongside software engineering experience at Nokia-Siemens Networks. She has organized seminars on cryptography and quantum computing, and her teaching spans programming languages and cryptography courses at NTUA. Pappa actively participates in conferences like QPL, QCRYPT, and AQIS, contributing to both theoretical advancements and experimental validations in quantum information science.

Behzad AbdolmalekiView profile

Assistant Professor

• Cryptography
• Post-Quantum Cryptography
• Zero-Knowledge Proofs
• +7 more

Behzad Abdolmaleki is an Assistant Professor and member of the Security of Advanced Systems research group at the University of Sheffield . He focuses on cryptographic schemes in post-quantum and quantum settings, with applications to zero-knowledge proofs, cryptocurrencies, and concurrent systems. Previously, he held postdoctoral and senior researcher roles at the Max Planck Institute for Security and Privacy (MPI-SP) and the University of Tartu , and visited institutions like the AIT Austrian Institute of Technology and Friedrich-Alexander University of Erlangen-Nuremberg . Research Interests include constructing secure cryptographic protocols, with a focus on post-quantum foundations, zero-knowledge proofs, blockchain technologies, and universally composable security models. His work bridges theoretical cryptography with practical applications in secure systems. Scientific Awards Best Paper Award at CANS 2021 One of Three Best Papers at ASIACRYPT 2017 Grants DIDShield : A Privacy-Centric Approach to Digital Wallet Security (Innovate UK, 04/2025–07/2025, £22,757, as PI) Academic Services Program Committee member at IACR CiC (2025), ISDIA (2024), ASIACRYPT (2023), and others.

• Quantum Physics
• Quantum Information Science
• Quantum Computing
• +7 more

Professor Geoff Pryde is a quantum physicist at Griffith University, leading the Quantum Optics and Information Laboratory. He holds a PhD from The Australian National University (2001) and a BSc (Hons) from The University of Queensland (1995). His research focuses on quantum information science, quantum computing, and optical quantum technologies, with emphasis on experimental exploration of quantum phenomena and development of quantum technologies. He is a member of the Queensland Quantum and Advanced Technologies Research Institute (QUATRI) and the ARC Centre of Excellence for Quantum Computation and Communication Technology (CQC2T). Affiliations: Queensland Quantum and Advanced Technologies Research Institute (QUATRI), Centre for Quantum Dynamics, ARC Centre of Excellence for Quantum Computation and Communication Technology. Education: PhD in Physics, The Australian National University, 2001 BSc (Hons) in Physics, The University of Queensland, 1995 His research interests include quantum optics, quantum measurement, entanglement, and applications of quantum technologies. He has led projects funded by ARC and international grants, totaling over AUD 8 million. Key contributions include experimental work on quantum steering, noiseless amplification, and quantum network protocols. Professor Pryde teaches quantum physics and supervises over 20 doctoral students, many of whom have contributed to high-impact research in quantum information science. Grants & Collaborations: ARC Discovery Projects (DP210101651, DP160101911) ARC Future Fellowship (FT110100378) U.S. Asian Office of Aerospace Research and Development (AOARD) Labs & Teams: Quantum Optics and Information Laboratory at Griffith University, collaborating with global teams on photonic quantum computing and quantum metrology.