Find Academic Supervisors

Dawn SongView profile

Professor

• Artificial Intelligence
• Cybersecurity
• Machine Learning
• +7 more

Dawn Song is a Professor in the Department of Electrical Engineering and Computer Science at the University of California, Berkeley, affiliated with multiple research centers including the Berkeley Artificial Intelligence Research Lab (BAIR) and the Berkeley Center for Responsible, Decentralized Intelligence (RDI). She holds leadership roles in AI safety, cybersecurity, and blockchain research. Her work bridges machine learning, security, and distributed systems, with notable contributions to formal verification, privacy-preserving technologies, and AI governance. Education: Ph.D. (2002) and M.S. (1999) in Computer Science from UC Berkeley and Carnegie Mellon University, respectively. She previously served as an Assistant Professor at Carnegie Mellon University before joining UC Berkeley in 2007. Research Interests: Dawn's work focuses on AI safety, cybersecurity, and the ethical implications of frontier AI. She explores topics such as large language model vulnerabilities, zero-knowledge proofs, blockchain security, and policy frameworks for AI governance. Her research combines theoretical rigor with practical applications, addressing challenges in secure systems, adversarial machine learning, and privacy-preserving computation. Publications: Her recent work includes groundbreaking studies on LLM memorization, smart contract decompilation, and AI agent cybersecurity evaluation. She also leads initiatives like the Singapore Consensus and California Report on AI safety priorities, emphasizing global collaboration in risk mitigation. Notable Awards: MacArthur Fellowship (2010), ACM Fellow (2019), IEEE Fellow (2019) Advising & Grants: She advises projects on AI policy and cybersecurity, securing grants from NSF, DARPA, and industry collaborations. Her lab develops tools like CyberGym for evaluating AI agents and zkPyTorch for secure machine learning. Labs & Teams: Her research groups at UC Berkeley focus on cutting-edge projects in AI safety, blockchain, and cybersecurity, collaborating with industry leaders and policymakers to advance both technical and ethical standards.

Shweta ShindeView profile

Assistant Professor

• Trusted Computing
• System Security
• Hardware Security
• +4 more

Shweta Shinde is an Assistant Professor in the Department of Computer Science at ETH Zurich where she leads the Secure & Trustworthy Systems (SECTRS) research group. She is also a member of the Institute of Information Security and the ZISC Center at ETH Zurich. Her work bridges theoretical foundations with practical implementations in hardware and system security. Dr. Shinde's research focuses on the intersection of trusted computing, system security, and program analysis. Her group investigates both foundational aspects of security to protect phones, servers, and accelerators, as well as practical aspects of realizing these solutions through large-scale system building. Her work spans hardware security primitives, trusted execution environments, confidential computing, and secure system design across multiple platforms including mobile devices, cloud infrastructure, and blockchain systems. Her publication record demonstrates significant impact in the field, with numerous papers in top security venues including IEEE S&P, USENIX Security, CCS, and NDSS. Her research has uncovered critical vulnerabilities in major hardware security technologies like Intel SGX and AMD SEV-SNP while also proposing novel frameworks for building more secure systems. The work spans multiple domains including hardware security, cloud security, mobile security, and blockchain security, with a consistent thread of identifying and addressing fundamental security challenges in trusted computing. Among her notable achievements are multiple best paper awards including at SysTEX 2025 and nominations at DATE 2025, a Distinguished Paper Award at IEEE S&P 2024, and recognition as a Most Innovative Research Pwnie Award Nominee in 2024. Her work on WeSee received particular attention for breaking AMD SEV-SNP through novel interrupt-based attacks. Dr. Shinde actively mentors PhD students including Mark Kuhne, Supraja Sridhara, Mélisande Zonta-Roudes, Benedict Schlüter, Andrin Bertschi, and others. She teaches courses on Systems Security, Information Security Lab, Seminar on Systems Security, and Current Topics in Information Security at ETH Zurich. Her service to the community includes extensive program committee work for major security conferences including Oakland (S&P), NDSS, USENIX Security, and CCS, where she has served as track co-chair and program co-chair for several workshops.

Nils FleischhackerView profile

Assistant Professor

• Cryptography
• Theoretical Computer Science
• Zero-Knowledge Proofs
• +5 more

Nils Fleischhacker is an Assistant Professor for Cryptography at Ruhr University Bochum, where he leads the Theoretical Cryptography group within the Faculty of Computer Science. His research focuses on foundational aspects of cryptography with particular emphasis on zero-knowledge proofs, digital signatures, and secure computation. Prior to joining Ruhr University, he held postdoctoral positions at Johns Hopkins University and Carnegie Mellon University. Dr. Fleischhacker received his PhD in Computer Science from Saarland University in February 2017, advised by Dominique Schröder. During his doctoral studies, he was a research intern at Microsoft Research with Chris Brzuska and a research visitor at the University of Maryland, College Park with Jonathan Katz and Dana Dachman-Soled. His research spans theoretical cryptography with significant contributions to zero-knowledge proofs, multi-signature schemes, property-preserving hash functions, and security proofs for cryptographic primitives. Fleischhacker's work often addresses fundamental questions about the limits and possibilities of cryptographic constructions, with particular attention to black-box separations and lower bounds. His recent publications demonstrate a strong focus on lattice-based cryptography and post-quantum secure protocols. Fleischhacker's publications over the past five years reveal a consistent research trajectory focused on improving the efficiency and security of cryptographic primitives, with particular emphasis on signature schemes, zero-knowledge protocols, and secure computation frameworks. His work frequently appears in top-tier cryptography venues including CRYPTO, EUROCRYPT, and CCS. Dr. Fleischhacker actively mentors PhD students, with numerous successful graduations spanning from 2010 to 2024. His former PhD students include Önder Askin (2024), Floyd Zweydinger (2023), and Lars Schlieper (2022), among others. His research is supported through various academic channels and collaborations. He is affiliated with several prominent research organizations including the Horst Görtz Institute (HGI) for Information Security, the DFG Excellence Cluster CASA, the EU Marie Curie Network QSI, and the International Association for Cryptologic Research (IACR). These affiliations provide a strong institutional framework for his theoretical cryptography research.

Amr YoussefView profile

Professor

• Applied Cryptography
• Network Security
• Cyber-Physical Systems Security
• +4 more

Amr Youssef is a Professor at the Concordia Institute for Information Systems Engineering, Concordia University. His research focuses on applied cryptography, network security, cyber-physical systems security, blockchain, and privacy. He has contributed extensively to securing smart grids, IoT devices, and web applications through cryptographic protocols and machine learning-driven solutions. His work addresses critical challenges in cybersecurity, including e-voting systems, fault-tolerant differential protection, and privacy-preserving communication protocols. He explores vulnerabilities in modern systems such as SSO permissions, JavaScript exploits, and stalkerware tools, while developing frameworks like MEGR-APT for APT detection and TEE-Receipt for non-repudiation. Youssef’s research integrates interdisciplinary approaches, combining cryptography with AI (e.g., vision transformers for power quality analysis) and leveraging trusted execution environments (TEE) for secure computing. His projects often involve collaboration with industrial standards (e.g., IEC 61850), emphasizing practical implementations in real-world systems.

Xing GaoView profile

Assistant Professor

• Cybersecurity
• Cloud Computing
• Mobile Computing
• +4 more

Xing Gao is an Assistant Professor at the University of Delaware, affiliated with the Department of Computer and Information Sciences and jointly with the Department of Electrical and Computer Engineering. His office is located at 316B FinTech Innovation Hub on the STAR Campus. He holds a PhD from the College of William and Mary (2018) and a BS from Beijing Institute of Technology (2011). Research Interests: Cybersecurity in Software Supply Chain, Web 3, High-Performance Computing, Large Language Models, with a focus on Security, Cloud Computing, and Mobile Computing. Education: PhD | 2018 | College of William and Mary BS | 2011 | Beijing Institute of Technology His recent work explores cybersecurity vulnerabilities in cloud gaming services (CCS'22), container registries (USENIX-SEC'22), and software supply chains, with specialized attention to GPU cache attacks (USENIX-SEC'24) and Ethereum smart contracts (WWW'24). His research spans theoretical and applied aspects of system security, including CI/CD pipelines (CCS'24), SDN backdoors (INFOCOM'23), and hardware-level threats (ACSAC'21). Scientific Awards NSF CAREER Award (2024) NSF CRII Award (2020) NDSS Distinguished Poster Award (2016) He serves as Registration Chair for ACM/IEEE Symposium on Edge Computing (2023) and Publicity Co-Chair for IEEE Conference on Communications and Network Security (2022). He is actively involved as TPC Member in multiple top-tier conferences including USENIX Security (2026,2025), CCS (2026,2025,2024), and IEEE DSN (2024). He has also reviewed for journals like IEEE Transactions on Dependable and Secure Computing. Labs & Teams X-Lab at the University of Delaware, a research group focused on cybersecurity in emerging technologies.

Rainer BöhmeView profile

Professor

• Steganography and steganalysis
• Digital forensics
• Privacy-enhancing technologies
• +4 more

Professor Rainer Böhme is a prominent academic in the field of IT security and privacy at the University of Münster's School of Business and Economics, Department of Information Systems. He also holds a professorship for Security and Privacy at the University of Innsbruck's Institute of Computer Science. His research spans multiple dimensions of digital security, with particular expertise in steganography, digital forensics, privacy-enhancing technologies, and the economic aspects of cybersecurity. Dr. Böhme earned his Doctoral Degree from TU Dresden's Faculty of Computer Science in 2008, following studies in Communications, Economics and Computer Science at Technische Universität Dresden and Université Paris XII. His academic journey includes positions as Assistant Professor at the University of Münster (2010-2015), Postdoctoral Fellow at the International Computer Science Institute in Berkeley (2009-2010), and Scientific Staff at TU Dresden's Chair of Privacy and Data Security. His research interests focus on steganography and steganalysis, digital forensics, privacy-enhancing technologies, security and usability, economic and behavioral aspects of information privacy, virtual currencies, and the economics of information security. His work bridges technical security mechanisms with economic and behavioral considerations, creating a unique interdisciplinary approach to cybersecurity challenges. Analysis of his recent publications reveals a strong trend toward the economics of security, particularly regarding blockchain technologies, cryptocurrency, and privacy valuation. His work increasingly examines the intersection of technical security mechanisms with market dynamics, regulatory frameworks, and user behavior. The research spans theoretical game-theoretic models, empirical studies of user behavior, and practical applications in digital forensics and privacy protection. Program Co-Chair, Financial Cryptography and Data Security (2015) Program Co-Chair, New Security Paradigms Workshop (NSPW) (2015) General Chair, 8th International Conference on IT Security Incident Management & IT Forensics (2014) Organizer and Program Co-Chair, 1st Workshop on Bitcoin Research (2014) Associate Editor, Electronic Commerce Research (since 2013) Associate Editor, EURASIP Journal on Information Security (since 2013) Professor Böhme has supervised multiple Master's theses in Information Systems, including work on static code analysis for smart contracts, remote maintenance protocol security, and application protection requirements in retail banking. His research is supported by significant grants from the German Federal Ministry of Research, Technology and Space, the DFG, and the EU FP7 program, with projects focusing on digital forensics, privacy-enhancing technologies, and cryptocurrency crime prevention. He leads the IT Security Research Group at the University of Münster, which investigates theoretical and applied aspects of information security with particular emphasis on the economic dimensions of security decisions.

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

Juan ZhaiView profile

Assistant Professor

• Software Engineering
• Program Languages
• Natural Language Processing
• +6 more

Juan Zhai is an Assistant Professor in the Manning College of Information and Computer Sciences (CICS) at the University of Massachusetts Amherst. She co-directs the Laboratory for Advanced Software Engineering Research (LASER) and is a member of the UMass NLP group. Her research advances software engineering through automated techniques for building high-quality systems with emphasis on behavioral specifications, AI safety, and trustworthy AI. Her work addresses the fundamental challenge of aligning software behavior with intended specifications through two main directions: automated specification synthesis (translating natural language comments to formal specifications via tools like C2S and LLMCup) and defect detection/repair (developing frameworks for AI system testing, bias mitigation, and training diagnostics). Her vision integrates these into end-to-end assurance systems that continuously validate, repair, and audit evolving software in dynamic environments. Recent publications (2024-2025) reveal dominant trends at the software engineering/AI intersection: formal specification synthesis for IoT and code generation, comment maintenance using LLMs, deep learning framework testing (DevMuT, Citadel), bias detection in LLMs, and automated training repair (AutoTrainer, DREAM). These contributions appear in top venues including ICSE, FSE, ASE, ISSTA, and ACL. Professor Zhai currently advises PhD student Gehao Zhang (focusing on Software Engineering and AI Safety) and actively recruits new PhD/Master's students. Her LASER lab develops practical tools for specification inference, LLM-driven synthesis, and trustworthy AI, while collaborating with the UMass NLP group on language-centric software analysis. The LASER lab, co-directed by Zhai, pioneers techniques for behavioral specification enforcement across traditional and AI-powered systems. Key projects include CPC for bidirectional code-comment analysis, ModelMeta for deep learning framework testing, and frameworks for bias mitigation across the ML lifecycle. The lab emphasizes practical, scalable tools that enhance correctness, robustness, and fairness in critical AI applications.

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

Yan Huang is an Associate Professor in the Department of Computer Science at Indiana University Bloomington, focusing on security and cryptography. His work bridges theoretical foundations with practical systems, emphasizing cryptographic protocols with strong security guarantees for generic computation. University: Indiana University Bloomington School: College of Arts and Sciences Department: Computer Science Academic Rank: Associate Professor His research combines theoretical computer science , program analysis , artificial intelligence , and software engineering to address real-world security problems. Key areas include secure computation , zero-knowledge proofs , and privacy-preserving technologies . Recent publications, such as Phecda (SP'25) and Dubhe (USENIX Security'23), highlight advancements in post-quantum cryptography , AES verification , and privacy-preserving deep packet inspection , reflecting his focus on scalable and practical cryptographic solutions. He has advised notable students including Changchang Ding (PhD, Computer Science) and Ruiyu Zhu (PhD, now at Facebook), and served on program committees for top conferences like ACM CCS and CRYPTO .

• Programming Languages
• Formal Methods
• Software Engineering
• +4 more

Alexander Summers is an Associate Professor at the Department of Computer Science , University of British Columbia . He joined UBC in March 2020 after serving as a Senior Researcher (Oberassistent) at ETH Zurich from 2014-2020. His research bridges Programming Languages , Formal Methods , and Software Engineering , with a focus on automated verification tools for heap-based and concurrent programs. MSc Joint Mathematics and Computer Science, Imperial College London (2004) PhD Computer Science, Imperial College London (2009) Postdoc, ETH Zurich (2009-2014) Summers leads the Prusti Project , developing deductive verification tools for Rust, and contributes to the Viper Project for intermediate verification languages. His work addresses challenges in: Memory safety and concurrency verification Ownership models and aliasing control Automated reasoning with SMT solvers Resource-oriented programming specifications Debugging verification condition quantifiers Formal validation of verification infrastructure His research has been recognized with a Amazon Research Award and ACM SIGPLAN Distinguished Paper Awards . He teaches courses like Advanced Software Engineering and Program Verifiers and Program Verification , and supervises graduate students in formal verification and Rust-related research.

Mohammad HamdaqaView profile

Associate Professor

• Software Engineering
• Model-Based Software Engineering
• Cloud Computing
• +7 more

Mohammad Hamdaqa is an Associate Professor in the Department of Computer Engineering and Software Engineering at Polytechnique Montréal, where he leads the Laboratory of Software and Emerging Technologies. His academic journey includes a Ph.D. in Electrical and Computer Engineering from the University of Waterloo (2016), a Master's in Electrical and Computer Engineering from Concordia University, an MBA from the New York Institute of Technology, and a Bachelor's in Computer Engineering from Jordan University of Science and Technology. His research focuses on the intersection of software engineering and emerging technologies, particularly examining how software engineering approaches can be adapted for complex new platforms like cloud computing and blockchain. His work spans model-driven software engineering, cloud application architecture, smart contract development, and infrastructure as code. He investigates both how traditional software engineering practices can evolve to address the challenges of modern distributed systems and how emerging technologies can transform software development processes themselves. Analysis of his recent publications reveals a strong emphasis on blockchain technologies (particularly smart contracts), cloud-native applications, and the application of AI to software engineering tasks. His work shows a consistent thread of empirical research combined with practical tool development, with increasing focus on sustainability aspects of software systems in recent years. Much of his research bridges theoretical foundations with practical implementation concerns. Professor Hamdaqa serves as a thesis supervisor for multiple graduate students, with recent completed Master's theses focusing on smart contract auditing, prompt engineering for OCL generation, model-driven epidemiology, and security practices in infrastructure as code. He actively recruits students for research projects in his laboratory. He is a member of both the IEEE Computer Society and the Association for Computing Machinery (ACM), has served on program committees for major software engineering conferences, and is on the editorial board of Service Transaction on Internet of Thing. His laboratory, the Laboratory of Software and Emerging Technologies, serves as the hub for his research activities in blockchain, cloud computing, and model-driven engineering.

• Decision Support Systems
• Energy Management
• Environmental Analysis
• +6 more

John Psarras is a Professor at the National Technical University of Athens (NTUA) in the School of Electrical and Computer Engineering, specifically within the Division of Industrial Electric Devices and Decision Systems. He serves as the Director of the Decision Support Systems Laboratory (DSSlab) and the University Research Institute of Communication and Computer Systems. He holds a Diploma in Mechanical Engineering (1982) and a Ph.D. in Electrical and Computer Engineering (1989), both from NTUA. His research specializes in decision support systems with applications in energy management, environmental analysis, and information systems. Key areas include: Multi-criteria analysis for energy policy and renewable integration AI-driven optimization of smart grids and building efficiency Sustainable finance mechanisms for green projects Blockchain applications in education and data security His recent publications (2023–2025) demonstrate a strong focus on AI-enhanced decision tools for energy transitions, smart infrastructure, healthcare diagnostics, and cross-border renewable cooperation, reflecting interdisciplinary innovation. He has supervised 22 PhD theses and coordinates EU-funded projects in energy policy, clean technology, and capacity building. No scientific awards are listed in available sources. He leads the Decision Support Systems Laboratory (DSSlab), advancing research in energy analytics, and directs the University Research Institute of Communication and Computer Systems, facilitating large-scale interdisciplinary collaborations.

• Wireless Communications
• Signal Processing
• Physical Layer Security
• +3 more

Georges Kaddoum is a Professor at École de technologie supérieure (ÉTS) , specializing in Electrical Engineering. He holds the Canada Research Chair in Unlocking the Power of IoT 6G-Networks and the LACIME – Communications and Microelectronic Integration Laboratory affiliation. His work bridges wireless communications, IoT, and machine learning. Research Interests include wireless communication systems, physical layer security, machine learning for networking, and 6G technologies. He focuses on optimizing network performance in challenging environments (impulsive noise, underwater, non-terrestrial networks) and developing AI-driven solutions for jamming mitigation, resource allocation, and secure IoT frameworks. Recent Publications highlight 6G-enabled vehicular networks, quantum-safe blockchain integration, federated learning for transportation systems, and deep learning-based receivers for chaotic communication systems. His work emphasizes semantic communication, interference management, and digital twin applications. Awards IEEE TCSC Award for Excellence in Scalable Computing (2022) Prix d’excellence de la relève (Université du Québec, 2018) Prix d’excellence en recherche (ÉTS, 2018) Multiple IEEE Exemplary Reviewer and Best Paper Awards (2014–2022) Supervision includes 15+ PhD/Master’s students working on topics like index modulation, physical layer security, UAV communications, and intelligent resource management. Research Units Ultra Research Chair on Intelligent Tactical Wireless Networks LACIME Laboratory Canada Research Chair in IoT 6G-Networks

Christopher KruegelView profile

Professor

• Systems Security
• Malware Analysis
• Web Security
• +7 more

Christopher Kruegel is a Professor in the Department of Computer Science at the University of California, Santa Barbara (UCSB), where he conducts research in systems security. He is affiliated with the International Secure Systems Lab (iSecLab) and was a co-founder of Lastline, Inc., which was acquired by VMware in 2020. His work focuses on creating practical security solutions that address real-world problems through system building and experimental validation. Professor Kruegel's research spans multiple areas of computer security including malware analysis, web security, network security, and vulnerability analysis. His work often involves developing systems that analyze programs for malicious behavior, scanning web applications for vulnerabilities, and improving privacy on social networks. He has made significant contributions to firmware security, smart contract analysis, and mobile security through his extensive publication record. His 15 most recent publications (2022-2023) demonstrate a strong focus on practical security solutions across diverse domains including firmware security (Shimware, Fuzzware), blockchain and smart contract security (Confusum Contractum, NFT security), mobile security (TEEzz, Columbus), and vulnerability detection techniques (Actor, Toss a Fault to Your Witcher). His research shows consistent innovation in security tools and methodologies with several papers receiving distinguished awards. Fellow of the Institute of Electrical and Electronics Engineers Outstanding Graduate Mentor Award, UCSB Academic Senate Distinguished Artifact Award for Fuzzware paper Distinguished Paper Award for Ramblr paper Best Student Paper Award for Detecting Spammers On Social Networks Professor Kruegel has advised numerous graduate students and collaborated extensively with researchers at UCSB and beyond. His work has been funded by various research grants supporting his security research initiatives. He is actively involved in the International Secure Systems Lab, which focuses on practical security solutions for real-world problems.

• 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.