Find Academic Supervisors

Brent WatersView profile

Professor

• Cryptography
• Computer Security
• Theoretical Computer Science
• +4 more

Brent Waters is a Professor at the Department of Computer Science, University of Texas at Austin , where he has been since 2008. He received his Ph.D. in Computer Science from Princeton University (2004) and held a postdoctoral position at Stanford University (2004-2005). His research focuses on cryptography and computer security, with groundbreaking work in Identity-Based Encryption, Functional Encryption, Attribute-Based Encryption, and code obfuscation. He is a founder of Functional Encryption and Attribute-Based Encryption. Education Ph.D., Computer Science, Princeton University (2004) Research Interests Cryptography, Security Protocols Functional Encryption, Attribute-Based Encryption Indistinguishability Obfuscation, LWE-Based Systems Zero-Knowledge Proofs, Key-Dependent Message Security Selected Publications Trends Recent work (2025) addresses adaptive security in broadcast encryption, SNARGs, and multi-authority ABE systems using LWE and bilinear maps. Key themes include collusion resistance, witness encryption, and optimizing cryptographic assumptions like CRS size reduction. Scientific Awards IEEE Fellow (2025), IACR Fellow (2024), ACM Fellow (2021) Simons Investigator (2019), Grace Murray Hopper Award (2015) Presidential Early Career Award (2011), Packard Fellowship (2011) Advising Current Ph.D. students: Shafik Nassar, George Lu Past Ph.D. students: Rachit Garg (2024), Satya Vusirikala (2021), Rishab Goyal (2019), Venkata Koppula (2018), Yannis Rouselakis (2013), Allison Bishop (2012) Contact Email: bwaters@cs.utexas.edu Phone: (512) 232-7464 | Office: GDC 6.810

Elette BoyleView profile

Associate Professor

• Cryptography
• Computer Security
• Coding Theory
• +7 more

Elette Boyle is an Associate Professor at Reichman University (IDC Herzliya) and a Senior Scientist at NTT Research . She holds a Ph.D. in Mathematics from MIT (advised by Shafi Goldwasser and Yael Tauman Kalai) and an undergraduate degree from Caltech . Education Ph.D. in Mathematics, MIT B.S. in Mathematics, Caltech Her research focuses on cryptographic solutions for secure data processing , particularly in secure multi-party computation , function/homomorphic secret sharing , and distributed point functions . Recent work explores topology-hiding communication , memory checking complexity , and sublinear-communication MPC . Key trends in her publications include: Advancements in Function Secret Sharing for branching programs and sparse vectors. Efficient Secure Multi-Party Computation protocols with preprocessing. Information-theoretic and computational Topology-Hiding Broadcast schemes. Optimized Oblivious Transfer with constant computational overhead. Scientific Awards European Research Council (ERC) Award Israeli Science Foundation (ISF) Grant United States Air Force Office of Scientific Research (AFOSR) Grant Google Research Scholar Award International Association for Cryptologic Research (IACR) Recognition As Director of the Foundations & Applications of Cryptography (FACT) Research Center , she leads collaborative work with institutions like Technion Israel , Cornell University , and NTT Research . Her students include Pierre Meyer (Ph.D.) , Matan Hamilis (Ph.D.) , and D'or Banon (MSc.) .

• Network Security
• Privacy-Preserving Technologies
• Machine Learning for Networking
• +5 more

Ke Xu is a Professor in the Department of Computer Science at Tsinghua University's School of Information Science and Technology. With extensive research contributions in network security, privacy-preserving technologies, and machine learning applications for networking, Professor Xu has established himself as a leading researcher in computer science. Professor Xu's research interests span network security, privacy-preserving technologies, machine learning for networking, federated learning, internet protocols, encrypted traffic analysis, blockchain applications, and AI in networking. His work bridges theoretical foundations with practical implementations, focusing on real-world security challenges and network optimization problems. He has developed novel frameworks for secure network operations, privacy-preserving data sharing, and efficient AI deployment in distributed environments. Professor Xu's publication record shows a clear trend toward integrating artificial intelligence with traditional networking challenges. His recent work explores federated learning security, encrypted traffic analysis using deep learning, and novel approaches to network security that leverage machine learning techniques. The interdisciplinary nature of his research spans computer networking, security, privacy, and artificial intelligence. Professor Xu has received recognition for his contributions to network security and privacy-preserving technologies through publications in top-tier venues including IEEE journals, ACM conferences, and security symposia. His work has appeared in IEEE Transactions on Dependable and Secure Computing, IEEE/ACM Transactions on Networking, and security conferences like CCS and NDSS. Professor Xu actively collaborates with researchers across institutions, supervising students and junior researchers in exploring cutting-edge problems in network security and AI. His research has been supported by significant grants focusing on network security, privacy, and intelligent networking infrastructure. He leads projects that address fundamental challenges in secure communication, privacy-preserving data analysis, and intelligent network management. Professor Xu is involved with research laboratories focusing on network security and intelligent systems at Tsinghua University. His team works on developing practical security solutions, privacy frameworks, and AI-enhanced networking protocols that address real-world challenges in today's increasingly connected world.

• Cryptography
• Computer Security
• Coding Theory
• +2 more

Elette Boyle is an Associate Professor at the Efi Arazi School of Computer Science, Reichman University (IDC Herzliya), Israel. She serves as the Director of the FACT Research Center and is a Senior Scientist at NTT Research. Additionally, she heads the RRIS International Program. Her academic career spans prestigious institutions including MIT, Technion, and Cornell. Dr. Boyle received her Ph.D. in Mathematics from MIT under the guidance of Shafi Goldwasser and Yael Tauman Kalai. Following her doctorate, she completed postdoctoral research at the Technion Israel Institute of Technology (2013-2015) hosted by Yuval Ishai, and a short-term postdoc at Cornell University (Summer 2013) hosted by Rafael Pass. She completed her undergraduate studies in mathematics at Caltech. Her research focuses on the theoretical foundations of computer security and cryptography, with particular expertise in secure multiparty computation, function secret sharing, distributed point functions, and memory checking protocols. Her work bridges theoretical computer science with practical cryptographic applications, developing protocols that balance security guarantees with computational efficiency. Dr. Boyle's research has significantly advanced the field of cryptography, particularly in understanding the fundamental limits and possibilities of secure computation protocols. Analysis of her recent publications reveals a strong focus on the theoretical foundations of secure computation, with particular emphasis on understanding computational and communication complexity limits. Her work spans multiple dimensions of cryptography including foundational protocols, complexity analysis, and practical implementations. A recurring theme in her research is developing efficient cryptographic primitives that minimize communication overhead while maintaining strong security guarantees. Her contributions to function secret sharing, distributed point functions, and pseudorandom correlation generators have been particularly influential in the field. Dr. Boyle has advised several graduate students including Pierre Meyer (Ph.D., co-advised with Geoffroy Couteau), Matan Hamilis (Ph.D.), and D'or Banon (MSc., co-advised with Ran Cohen). Her research has been supported by various grants enabling her to lead significant projects in cryptography and secure computation. As Director of the FACT Research Center, she leads a team focused on foundational aspects of computer science and cryptography. Her center collaborates with researchers worldwide and serves as a hub for advancing cryptographic research in Israel and internationally.

Anna LysyanskayaView profile

Professor

• Cryptography
• Privacy-Preserving Protocols
• Secure Communication
• +3 more

Anna Lysyanskaya is the James A. and Julie N. Brown Professor of Computer Science at Brown University. She joined Brown in 2002 after earning her Ph.D. from MIT. Her research focuses on cryptography, particularly privacy-preserving protocols and anonymous credentials. She has received prestigious awards including the NSF Career Award, Sloan Foundation Fellowship, and Google/IBM Faculty Fellowships. Her work emphasizes secure communication systems and cryptographic foundations for privacy. Education: Ph.D. in Computer Science from MIT. Research interests include cryptographic protocols, anonymity, and secure authentication. She has authored over 140 publications and contributed to projects like PACIFIC for privacy-preserving contact tracing and Bruisable Onions for anonymous communication. Her grants support advancements in cryptographic security and privacy-enhancing technologies. Awards include the NSF Career Award, Sloan Fellowship, and multiple industry recognitions. She collaborates widely and advises on cryptographic standards for digital identity and secure computation.

• Security and Privacy
• Active Cyber Defense
• Security Analytics
• +6 more

J. Haadi Jafarian is an Assistant Professor in the Department of Computer Science and Engineering at the University of Colorado Denver, where he leads the Active Cyber and Infrastructure Defense (ACID) Lab. He earned his Ph.D. from the University of North Carolina Charlotte in 2017. Research Interests: Active Cyber Defense (Moving Target Defense, Cyber Deception) Big Data Analytics for Cyber Threat Intelligence Security for Cyber-Physical Systems & Critical Infrastructures Cyber Resilience and Automation Recent Publications highlight innovations in traffic obfuscation, adversarial machine learning, and deception-based threat detection. His work spans network security, cybersecurity analytics, and scalable defense frameworks. Teaching includes: CSCI 4743/5743: Cyber and Infrastructure Defense (Fall 2023) CSCI 4742/5742: Cyber Programming and Analysis (Spring 2023) CSCI 4741: Cybersecurity Principles (Spring 2022) CSCI 4800: Web Application Development (Spring 2021) CSCI 3761: Computer Networks (Spring 2020) Labs & Teams: The ACID Lab focuses on developing proactive cyber defense strategies, including moving target defense, deception techniques, and security analytics for critical infrastructure.

Soufiene DjahelView profile

Professor

• Connected and Autonomous Vehicles (CAVs)
• Unmanned Aerial Vehicles (UAVs)
• Cyber Security
• +7 more

Soufiene Djahel is a Professor at the Centre for Future Transport and Cities (CFTC) at Coventry University, UK. His research focuses on connected and autonomous vehicles (CAVs), unmanned aerial vehicles (UAVs), cyber security, and smart cities. He holds a PhD in Secure Routing and Medium Access Protocols from Université des Sciences et Technologies de Lille (2010), and has held academic positions including Senior Lecturer at the University of Huddersfield and Manchester Metropolitan University. His research interests include CAV coordination protocols, cyber-physical security solutions, and intelligent transportation systems. Djahel leads projects such as the £1.2M AeroPharma Logistics initiative and has secured funding from the Newton Fund and JSPS. He is a recipient of the 2021 JSPS Invitational Fellowship and has published extensively in IEEE journals and conferences. Current projects explore UAVs-as-a-service, digital twins for CAVs, and B5G/6G for smart infrastructure. He advises PhD students on topics like AI-based threat mitigation and transport electrification. Djahel also serves as an external examiner and editorial board member for journals like IEEE Transactions on Intelligent Transportation Systems.

Duong Hieu PhanView profile

Professor

• Cryptography
• Provable Security
• Functional Encryption
• +7 more

Duong Hieu Phan is a Professor at Telecom Paris, part of the Institut Polytechnique de Paris, and Head of the Cybersecurity-Cryptography team. He holds a Ph.D. in Computer Science from Ecole Normale Supérieure and has extensive postdoctoral experience at University College London and research roles at France Telecom R&D. His academic career includes roles as an assistant/associate professor at LAGA, University of Paris 8 (2007–2015), and later as a professor and director of the Master 2 Maths CRYPTIS program at XLIM, University of Limoges (2015–2020). His research focuses on cryptography, with emphasis on provable security, functional encryption, privacy-preserving systems, and anamorphic cryptography. Key areas include secure communication mechanisms against oppressive surveillance, decentralized systems, and post-quantum security. He has contributed to foundational work on CCA security for FHE, quantum-resistant protocols, and verifiable functional encryption. Prof. Phan is actively involved in professional committees, including IACR ASIACRYPT and PKC steering committees, and editorial boards such as the IACR CIC Journal. He promotes Franco-Vietnamese scientific collaboration through roles in the CNRS IRL partnership. His teaching spans cryptography, algorithms, and mathematics at undergraduate and master’s levels, including program coordination and research supervision.

Thomas ZachariasView profile

Lecturer

• Cybersecurity
• Cryptography
• Privacy-Preserving Communication
• +4 more

Dr. Thomas Zacharias is a Lecturer in Cybersecurity at the School of Computing Science, University of Glasgow. His research focuses on cryptographic approaches to Cybersecurity and Privacy, emphasizing formal modeling, design, and analysis of secure systems. He holds a PhD in Cryptography from the University of Athens, with prior work as a Senior Researcher at the University of Edinburgh. Education PhD in Cryptography, University of Athens MSc in Theoretical Computer Science BSc in Pure Mathematics BEng in Electrical and Computer Engineering Research Interests Dr. Zacharias specializes in electronic voting systems (e-voting), privacy-preserving communication, blockchain protocols, multi-party computation, and cryptographic foundations. His work bridges theoretical contributions with practical applications, such as the Pebble project for decentralized e-voting solutions. Recent research explores decentralization in distributed protocols like e-voting and blockchain. Publications His publications span advancements in cryptographic protocols, blockchain security, and e-voting systems. Key areas include decentralized voting, privacy-preserving mechanisms, and formal verification of security properties. Recent work addresses challenges in blockchain dynamics and contingent service payments. Awards & Grants Recipient of a $250,000 grant from the Tezos Foundation for the Pebble project , where he serves as Co-Investigator. This project aims to develop and commercialize decentralized e-voting systems. Teaching & Supervision Supervised PhD student Nikolaos Lamprou on e-voting systems in the quantum and classical settings. Teaches Cybersecurity Fundamentals (H) (COMPSCI4062) at the University of Glasgow. Labs & Professional Engagement A co-founder of the Pebble project and active member of the IET’s e-voting working group. Served on program committees for major conferences including CRYPTO, PKC, and PETS.

Kartik NayakView profile

Associate Professor

• Security
• Applied Cryptography
• Distributed Computing
• +4 more

Kartik Nayak is an Associate Professor in the Department of Computer Science at Duke University, affiliated with Trinity College of Arts & Sciences. His research focuses on blockchain protocols, applied cryptography, and distributed computing, with recent emphasis on improving consensus efficiency and privacy-preserving computation. University of Maryland, College Park (2018) – Ph.D. Nayak's work addresses critical challenges in blockchain systems, including decentralization, consensus latency, and transaction privacy. His research spans theoretical protocol design and practical implementations, with applications in secure distributed systems and privacy-preserving technologies. Recent publications highlight advancements in DAG-based BFT protocols, order policy enforcement, and fault-tolerant consensus. These works intersect with computer science, cryptography, and decentralized finance, reflecting his interdisciplinary approach. Best Paper Award at OPODIS 2021 Best Paper Runner Up at ACM CCS 2021 Grants from the National Science Foundation (2023–2028) and Ethereum Foundation (2022–2027) support his research on scalable consensus and transaction privacy. He actively mentors Ph.D. students and contributes to academic discourse through publications and collaborations.

Petr KuznetsovView profile

Professor

• Distributed Systems
• Algorithms
• Synchronization
• +3 more

Petr Kuznetsov is a Professor at Telecom Paris (Institut Polytechnique de Paris), affiliated with the Department of Computer Science and Networks (INFRES). He leads the Autonomous Critical Embedded Systems (ACES) research team at the Information Processing and Communication Laboratory (LTCI). His work bridges theoretical foundations and practical applications in distributed systems. Research Focus: Kuznetsov specializes in distributed algorithms, synchronization protocols, failure detection mechanisms, and the application of algebraic topology to distributed computing. His recent work explores Byzantine fault tolerance, blockchain consensus, and concurrency in networking infrastructures. Recent Publication Trends (2015-2025): His articles predominantly focus on scalability and resilience in distributed systems, with emerging themes in blockchain technologies, Byzantine fault tolerance, and concurrency optimization. Theoretical contributions include computability theorems and complexity bounds, while applied work targets payment systems and distributed ledgers. Awards & Honors: Best Paper Award at DISC 2019 for Scalable Byzantine Reliable Broadcast Best Student Paper Award at PODC 2018 for An Asynchronous Computability Theorem for Fair Adversaries Projects & Advising: He directs the TrustShare Innovation Chair (large-scale data synchronization) and DISCMAT (mathematical foundations of distributed computing). Actively seeks PhD candidates for projects on distributed algorithms and concurrency. Laboratory & Teams: Heads the ACES team at LTCI, focusing on critical embedded systems and fault-tolerant distributed architectures. Collaborates internationally through workshops like SPTDC.

• Computer Science
• Artificial Intelligence
• Cybernetics
• +3 more

Dilip Sarkar serves as an Associate Professor in the Department of Computer Science at the College of Arts and Sciences, University of Miami. His academic profile demonstrates a strong research focus across multiple domains of computer science with particular emphasis on theoretical foundations and practical applications. Dr. Sarkar's research interests include: Artificial Intelligence and Cybernetics Parallel Algorithms and Programming Combinatorics Image Processing and Compression Internet of Things Security Machine Learning Applications in Healthcare Quantum Computing Approaches His publication record from 2018-2024 reveals a researcher engaged with cutting-edge computational challenges. Recent work spans quantum tensor networks for time series analysis, security frameworks for single sign-on systems, efficient computation in belief theoretic models, and machine learning applications for traumatic brain injury recovery prediction. His research demonstrates consistent integration of theoretical computer science with practical problem-solving across diverse application domains. As a member of CCS (Center for Computational Science) at the University of Miami, Dr. Sarkar participates in interdisciplinary research initiatives that bridge computational methods with scientific discovery across multiple fields. His technical expertise spans both theoretical frameworks and practical implementations, with notable contributions to image compression techniques, particularly for medical applications, and security protocols for modern web and IoT environments.

Mitra BaratchiView profile

Associate Professor

• Spatio-Temporal Data Analysis
• Machine Learning
• Mobility Data Modeling
• +5 more

Mitra Baratchi is an Associate Professor at the Leiden Institute of Advanced Computer Science (LIACS) , Leiden University. She leads the Spatio-temporal data Analysis and Reasoning (STAR) research group, co-leads the Automated Design of Algorithms (ADA) group, and founded the Special Interest Group on Spatio-Temporal Data Mining (SIG-SDTM) . PhD from University of Twente (Mobility Data) Master’s/Bachelor’s in Computer Engineering, Iran Research Interests focus on automated pattern extraction from spatio-temporal data across urban, environmental, and industrial domains. Key applications include: Automated Machine Learning (AutoML) for Earth Observations Time-Series Forecasting for public health (e.g., pandemic modeling) Urban Mobility Optimization with ESA, Honda, and municipalities Reliable Vehicular Communication Systems Smart Garments for Health Risk Detection Geocast Protocols for Internet-wide Communication Grant Highlights include €120K NWO-Aspasia, €2.9M Marie Skłodowska-Curie, €350K NWO-KLEIN, and €135K Center for BOLD Cities funding. She has supervised 12 PhD students and 4 current Master’s students since 2011, with notable best paper award at WWIC'16. Teaching includes Machine Learning (2020-present) and Urban Computing (2018-present) at Leiden, plus past courses in Data Visualization, Software Engineering, and Research Methods.

• Distributed Systems
• Cybersecurity
• Sports Technology
• +7 more

Dag Johansen is a Professor in the Department of Informatics at UiT The Arctic University of Norway, Tromso campus. His work spans multiple research areas at the intersection of computer science, sports science, medicine, health technology, and nutrition science. He leads the interdisciplinary "Corpore Sano" research center and is actively involved in several research groups including the Cyber Security Group (CSG) and Crime Control and Security Law. Professor Johansen's research focuses on developing fundamental software solutions for secure and error-free data processing in heterogeneous distributed systems, ranging from lightweight "Internet of Things" devices and mobile phones to large-scale cloud solutions. His work particularly emphasizes applications in sports technology, edge computing, and compliance technology. His research interests include distributed systems, cybersecurity, sports technology, edge computing, data privacy, AI for sports analytics, multimedia forensics, and compliance technology. His recent publication trends show a strong focus on AI applications for sports video analysis, particularly in soccer and ice hockey, where his team has developed AI-based cropping systems for social media representations. He also has significant work in data privacy and GDPR compliance, especially regarding the "third country problem," as well as applications of AI in sustainable fishing practices. His 2024-2025 publications demonstrate continued work in self-healing microservices, lightweight encryption for video feeds, and virtual reality training environments. Professor Johansen is actively involved in mentoring students and research collaborators, as evidenced by his extensive publication record with numerous co-authors including doctoral students and postdoctoral researchers. His work has received funding through various research projects focused on data analytics, privacy technology, cybersecurity, and sports technology applications. He leads the interdisciplinary "Corpore Sano" center, which brings together researchers from computer science, sports science, medicine, health technology, and nutrition science. His work also involves collaboration with the "Njord" project focused on sustainable fishing through AI applications, and he's involved in developing the "Áika" distributed edge system for AI inference.

• Cryptography
• Lattice-based cryptography
• Post-quantum cryptography
• +3 more

Professor Damien Stehlé is a faculty member at École Normale Supérieure de Lyon (ENS Lyon), where he is part of the AriC team within the Laboratoire de l'Informatique du Parallélisme (LIP). He is also a distinguished member of the Institut Universitaire de France. His research and teaching activities focus on cryptography, computational number theory, and computer algebra, with particular emphasis on lattice-based cryptographic systems. Stehlé's research primarily centers on the computational aspects of Euclidean lattices and their applications in cryptography. He has made significant contributions to lattice-based cryptography, particularly in the context of post-quantum cryptography. His work addresses fundamental questions about the hardness of lattice problems, algorithmic improvements for lattice reduction, and the development of practical cryptographic schemes based on lattice assumptions. He has been actively involved in the NIST post-quantum cryptography standardization process, contributing to the analysis of lattice-based candidates like Kyber and Saber. His publications span theoretical foundations to practical implementations, demonstrating a rare ability to bridge abstract mathematics with real-world cryptographic applications. Throughout his career, Stehlé has published extensively in top-tier cryptography and theoretical computer science venues. His research has been recognized with multiple best paper awards for groundbreaking contributions to the field. Best paper award at ASIACRYPT 2021 for 'On the hardness of the NTRU problem' Best paper award at ASIACRYPT 2015 for 'Improved security proofs in lattice-based cryptography' Best paper award at EUROCRYPT 2015 for 'Cryptanalysis of the Multilinear Map over the Integers' Professor Stehlé has supervised numerous PhD students over the years, often collaborating with other leading researchers in the field. He serves on program committees of major cryptography conferences and is a member of editorial boards for prestigious journals including the Journal of Cryptology and Designs, Codes and Cryptography. His research group at LIP's AriC team is recognized as a leading center for lattice-based cryptography research in Europe.