Kaveh Razavi is an Assistant Professor at ETH Zurich in the Department of Information Technology and Electrical Engineering, supervising the Computer Security Group. He is also affiliated with the Department of Computer Science. Research focuses on commodity hardware and operating systems security Teaching: Computer Engineering (BSc 2022–2025), Hardware Security (MSc 2016–2025), Advanced Operating Systems (MSc 2016–2019) Research Interests: Razavi's work bridges computer systems and security, emphasizing microarchitectural vulnerabilities, hardware exploitation, and security verification. His group develops tools for analyzing hardware-software interactions and mitigating memory attacks like Rowhammer. Scientific Awards: Distinguished/Best Paper Awards at IEEE S&P, USENIX Security, MICRO Five Pwnies Awards for innovative research Dutch Veni Grant, ERC Starting Grant Jochen Liedtke Young Researcher Award Golden Owl Teaching Award (2022) ETH Medal, Intel Bounty Reward, BlackHat USA Recognition
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.
Ardalan Amiri Sani is an Associate Professor in the Computer Science Department at the University of California, Irvine (UCI), affiliated with the Donald Bren School of Information & Computer Sciences. He leads the Trustworthy Systems Lab (TrussLab), focusing on secure and reliable mobile systems, operating systems, and virtualization. His research bridges mobile computing, security, and OS design, addressing challenges in I/O devices, kernel hardening, and verifiable provenance. Education: Ph.D. and M.Sc. from Rice University (ECE), B.Sc. from Sharif University of Technology. Awards include the NSF CAREER Award, Google ASPIRE Award, and UCI Dean's Mid-Career Research Award. He has advised numerous graduate and undergraduate students, many of whom now work in academia and industry. Research highlights include Tabellion (secure legal contracts on mobile devices), ProvCam (verifiable video provenance), and work on minimizing smartphone TCBs via hardware isolation. His grants include NSF funding for OS kernel security and NSA support for provenance systems. Education: Ph.D., Electrical and Computer Engineering, Rice University, 2014 B.Sc., Electrical Engineering, Sharif University of Technology Grants: $500K NSF Award (with UCR) for OS kernel security (2020) NSF SaTC Award for GPU security in browsers Google ASPIRE Award for Android system call filtering Labs/Teams: Trustworthy Systems Lab (TrussLab), collaborating with industry partners like Intel and Broadcom.
Vijay Laxmi is a Professor in the Department of Computer Science and Engineering at Malaviya National Institute of Technology (MNIT) Jaipur, India. With over a decade of active research publication from 2014-2024, Dr. Laxmi has established themselves as a prominent researcher in network security, Android security systems, and Network-on-Chip architectures. Their work demonstrates consistent collaboration with Manoj Singh Gaur and numerous doctoral students at MNIT Jaipur. Dr. Laxmi's research interests span Network Security, Android Security, Malware Analysis, Network-on-Chip Architectures, Routing Protocols, Side-Channel Attacks, Wireless Networks, and Mobile Security. Their work bridges theoretical security frameworks with practical implementations, particularly in mobile and embedded systems. Recent publications indicate a growing focus on AI-based security approaches including GAN applications for fuzzing and deep learning for image dehazing. The research trajectory shows increasing sophistication in security analysis techniques, evolving from basic malware detection to advanced side-channel attack analysis and sophisticated network security protocols. Recent publications demonstrate expertise in both theoretical frameworks and practical implementations with applications in real-world security challenges. Dr. Laxmi has mentored numerous graduate students including Vineeta Jain, Anugrah Jain, Sonal Yadav, Mohit Singh, and Gaurav Singal, who appear as co-authors across multiple publications. Their collaborative network extends to researchers at international institutions, indicating strong academic connections beyond their home institution.
Nozomu Togawa is a Professor at Waseda University's Faculty of Science and Engineering, School of Fundamental Science and Engineering, specializing in Computer Science. He has held this position since 2009 and also serves as Chief Scientific Officer (CSO) of Quanmatic Inc. since 2022. With a PhD in Engineering from Waseda University (1997), his academic journey includes positions at Waseda University and the University of Kitakyushu before his current professorship. His research interests focus on integrated system design , quantum computation , and information security . Togawa has published extensively with over 368 papers and significant citation metrics (Scopus h-index: 23, Google Scholar h-index: 28). His work bridges theoretical quantum computing with practical security applications, particularly in hardware security and IoT systems. Togawa's research demonstrates a clear progression from traditional hardware security toward quantum-inspired computing solutions. His recent publications focus on Ising machines, quantum annealing, and hardware Trojan detection, showing how quantum approaches can solve complex optimization problems in security contexts. He has made significant contributions to applying quantum computing techniques to practical problems like course selection optimization, travel planning, and hardware security verification. Among his notable recognitions are the Minister of Education, Culture, Sports, Science and Technology Award for Science and Technology (2018), SCOPE Results Development Promotion Award (2022), and multiple Best Paper Awards. He serves on important committees including the Ministry of Internal Affairs and Communications Cyber Security Task Force and the Institute of Electronics, Information and Communication Engineers' VLSI Design Technology Research Committee. Togawa actively mentors students who frequently appear as co-authors on his publications. His research group produces high-impact work in quantum computing applications and hardware security, with strong industry connections through his CSO role at Quanmatic Inc. He has received substantial research funding supporting his innovative work at the intersection of quantum computing and security.
Ki-Woong Park is a tenure-track full Professor in the Department of Computer and Information Security at Sejong University. He leads the System Security and Computer Engineering Research (SysCore) Lab, which focuses on system security research with numerous ongoing projects funded by major Korean research institutions including IITP, NRF, and KRIT. Sejong University, Department of Computer and Information Security System Security and Computer Engineering Research (SysCore) Lab Leader Member of IEEE, IEEE Computer Society, and ACM Education: Ph.D. in Electrical Engineering & Computer Science, KAIST (Advisor: Prof. Kyu-Ho Park) M.S. in Electrical Engineering & Computer Science, KAIST (Advisor: Prof. Kyu-Ho Park) B.S. in Computer Science, Yonsei University (Summa Cum Laude) Exchange Student at University of California, Los Angeles (UCLA) Professor Park's research focuses on designing, building, and analyzing secure systems, particularly for cloud computing, networked systems, and embedded systems. His work often involves reevaluating existing security mechanisms and actual system implementations with subsequent evaluation in real computing environments. He has made significant contributions to areas including cloud security, IoT security, ransomware detection, moving target defense, and metaverse security. His research approach emphasizes both theoretical foundations and practical implementation, with numerous publications in top-tier security and systems venues. His recent publications (2023-2024) demonstrate a strong focus on emerging security challenges in modern computing environments, particularly in metaverse platforms, UAV systems, and edge computing. These works span both theoretical security frameworks and practical implementations, with an emphasis on visualization techniques, hardware-based security mechanisms, and AI-enhanced security analysis. His research shows a clear progression from traditional cloud and network security toward next-generation security challenges in immersive virtual environments and cyber-physical systems. Scientific Awards: Microsoft Research Fellowship (2009-2010) Best Poster Gold Award at WISA 2020 Best Paper Award at MobiSec'18 Professor Park actively mentors numerous graduate and undergraduate students through the SysCore Lab, with current members including Ph.D. students, MS students, and undergraduate researchers. His research is supported by multiple significant grants, including the NRF Outstanding Researcher-Mid-career Researcher project, IITP Information Security Core Source Technology Development, and Defense Technology Advancement Research Institute projects. These grants total tens of billions of Korean won and address critical national security challenges in cyber defense, cloud security, and metaverse technologies. The SysCore Lab, under Professor Park's leadership, maintains a strong industry and government collaboration network, with part-time researchers from organizations including Hyundai Duty Free, Astron Security, Korea University, and various military cyber commands. This unique structure enables the lab to address both theoretical security challenges and practical implementation issues in real-world systems.
Mathias Payer is an Associate Professor at EPFL's School of Computer and Communication Sciences (IC), leading the HexHive Laboratory . His work focuses on software security, particularly addressing memory corruption and type violations through binary analysis and compiler-based techniques. He contributes to research in secure system design, fault isolation, and fuzzing methodologies. Current PhD students : Di Bartolomeo Luca, Feng Zhiyao, Hofhammer Florian, Lyu Tao, Mao Philipp Yuxiang, Zhang Chibin, Zheng Han Past EPFL PhD students: Badoux Nicolas Daniel, Bhattacharyya Atri, Hazimeh Ahmad His research explores software security in areas like: Protecting applications from vulnerabilities Binary exploitation and mitigation Compiler-driven security hardening Strong sanitization and privilege separation Memory corruption detection The HexHive group develops tools and frameworks for: Automated fuzz driver generation Gradual compartmentalization State inference for feedback optimization Secure cell architectures Recent publications highlight advancements in: Fuzzing hybrid approaches (e.g., DUMPLING, MendelFuzz) Memory safety validation (QMSan, Pacmem) Compiler-assisted defenses (Gradient, Type++)
Nils Ole Tippenhauer is a faculty member at the CISPA Helmholtz Center for Information Security , leading the SCy-Phy research group . His academic journey includes an Assistant Professorship at the Singapore University of Technology and Design (SUTD) (2014–2018), a PhD in Computer Science from ETH Zurich (2012), and a Diploma in Computer Engineering from Hamburg University of Technology (2007). He also holds an exchange study year at the University of Waterloo (2004–2005) supported by a DAAD scholarship. Research Interests focus on practical systems security , particularly Security of Cyber-Physical Systems Industrial Control Systems (ICS) and Industrial IoT (IIoT) Physical-Layer Security and Wireless Security Privacy-Preserving Technologies (e.g., DP3T project) Embedded Systems Security Threat Detection & Defenses His work integrates both theoretical and applied approaches, addressing vulnerabilities in critical infrastructures like water systems and power grids. Recent Publications highlight trends in Anomaly detection evasion in industrial networks Microarchitectural side-channel defenses Localization techniques in cellular networks Security analysis of ICS protocols Data-driven vulnerability assessments for robotics Cyber-physical simulation for infrastructure security Scientific Awards include Best paper at DIMVA'23 Distinguished Paper at ACSAC 2022 Best paper at CPSIOTSEC 2022 Best paper at CPSS 2017 K-H Ditze Award for diploma thesis (2007) SG Mark Institution award (2016) Runner-Up at smart energy hackathon (2013) Advising and Grants feature PhD defenses of Daniele Antonioli and Hamid Reza Ghaeini (2022), co-organizing conferences like WiSec and CPSS , and leading projects such as the National Science Experiment (NSE) with 50,000 mobile sensors in Singapore. He also contributed to the DP3T project for privacy-preserving contact tracing. Labs and Teams include the SCy-Phy research group at CISPA and the development of testbeds like SWaT (Secure Water Treatment), WADI (Water Distribution), and EPIC (Electric Power and Industrial Control) at SUTD. These platforms enable hands-on security research in realistic industrial environments.
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.
Christian Rossow is Faculty at CISPA – Helmholtz Center for Information Security in Dortmund, Germany, where he leads the System Security research group. He holds dual academic appointments as a professor in the Computer Science department at Saarland University and as an honorary professor at TU Dortmund University. His research spans systems, software, and network security, with a focus on cyber attacks, defenses, and privacy. Research Interests: His primary research areas include software and system security (e.g., exploitation techniques, compiler-assisted defenses, AI-assisted (in)security), network security (e.g., DDoS mitigation, attack attribution, traffic analysis), and cybercrime (e.g., malware analysis, data-driven studies). He emphasizes foundational research with practical applications. Publication Trends: His recent work (2023–2025) shows a strong focus on microarchitectural attacks (e.g., cache side-channels, prefetcher analysis), browser and web security (e.g., sandbox escapes, CSS fingerprinting), network protocol vulnerabilities (e.g., TCP spoofing, infinite loops), and applied cryptography (e.g., ISA extensions for key management). His research consistently targets top-tier venues like IEEE S&P, USENIX Security, ACM CCS, and NDSS. Distinguished Paper Award at IEEE EuroS&P 2021 Best Student Paper Award at MIT Spam Conference 2010 Advising and Grants: He actively supervises PhD students and postdoctoral researchers, with alumni placed in industry (NVIDIA, Crowdstrike, Continental) and academia. His research is supported by major grants including EU H2020 SISSDEN, BMBF-funded BOB, DFG-funded anonymous communication, and RAMSES. He regularly serves in leadership roles in the community, including PC Chair for RAID 2022/2023 and USENIX WOOT 2018, and Track Chair for ACM CCS 2026. Labs and Teams: He leads the System Security research group at CISPA, a world-leading institution for security and privacy. The group comprises talented full-time researchers and focuses on cutting-edge research with strong individual supervision and worldwide collaborations.
Zhendong Su is a full professor in the Department of Computer Science at ETH Zurich since August 2018. Previously, he held a full professorship at UC Davis from 2003 until June 2019. He earned his Ph.D. in Computer Science from UC Berkeley and dual Bachelor’s degrees in Computer Science and Mathematics from UT Austin in 1995. Affiliations: ETH Zurich: Full Professor (since 2018) UC Davis: Full Professor and Chancellor’s Fellow (2003–2019) IEEE Fellow, ACM Fellow, and Member of Academia Europaea His research focuses on programming languages, compilers, software engineering, computer security, and education technologies . Key contributions include compiler validation (e.g., Project Yin-Yang for SMT solvers and DBMS testing), testing tools like SQLancer, and educational innovations such as the Algot visual programming language. Recent work emphasizes secure AI (e.g., CipherSteal for TEE-shielded models) and compiler reliability (e.g., Artemis/Apollo for JIT validation). He has pioneered techniques like metamorphic testing and equivalence modulo inputs (EMI) for compiler validation, uncovering thousands of bugs in GCC/LLVM and SMT solvers. Awards: ICSE MIP Award (2022), ACM SIGSOFT Impact Paper (2018), NSF CAREER Award, and multiple industrial awards. His students have won IEEE TCSE Rising Star and SIGSOFT Impact Paper awards, securing roles at top universities and companies like Google and NVIDIA. Service: Steering committee member of ISSTA and ESEC/FSE, ACM Distinguished Speaker, and Associate Editor for ACM TOSEM. Program chaired ISSTA 2012 and co-chaired FSE 2016. Labs/Teams: Leads research groups on compiler validation, secure AI, and education technologies. Projects include Yin-Yang (SMT testing), SQLancer (DBMS fuzzing), and Algot (visual programming for education).
Alastair F. Donaldson is a Professor and Director of Research in the Department of Computing at Imperial College London, where he leads the FastPL research group. His work bridges formal methods, software testing, and programming languages, with a focus on enhancing the reliability of high-performance and parallel software systems. He has held key roles including Director of Research (since 2023) and previously served as Lecturer (2011–2014), Senior Lecturer (2014–2017), and Reader (2017–2020) before being promoted to Professor in 2020. His research interests include formal verification, compiler testing, GPU programming, concurrency, and fuzzing. He has made significant contributions to the verification of GPU kernels, metamorphic testing of graphics drivers, and the development of tools like GPUVerify and GraphicsFuzz. His work combines theoretical rigor with practical impact, demonstrated by the acquisition of his startup GraphicsFuzz by Google in 2018 and his subsequent roles as Senior Software Engineer and Visiting Researcher at Google. His recent publications reflect a sustained focus on compiler and system reliability, with trends in fuzzing, formal specification, and automated testing of complex systems such as WebGPU, CXL cache coherence, and large language models for code generation. His work increasingly integrates empirical validation with formal techniques to uncover subtle bugs in real-world systems. Scientific awards and recognitions include: 2017 BCS Roger Needham Award EPSRC Early Career Fellowship Fellow of the British Computer Society Best Paper awards at EuroSys 2024, MET 2021, IISWC 2019, IWOCL 2019, and ICST 2016 Best Industry Paper at ICST 2024 ACM SIGSOFT Distinguished Paper at ISSTA 2023 ACM SIGPLAN Most Influential OOPSLA Paper Award (2012 paper), awarded in 2022 Best Student Paper at PPoPP 2014 He has advised numerous PhD students and leads a vibrant research group. He has secured significant research funding and collaborates extensively with industry and academia. His service includes leadership roles such as General Chair of PLDI 2020, PC Chair of ECOOP 2019, and Steering Committee Chair of PLDI (2022–2025). He also serves on the advisory board of PACM-PL and on program committees for top venues including POPL, OOPSLA, PLDI, ICSE, and ISSTA. He leads the FastPL research group, which focuses on the design and implementation of programming tools and techniques for reliable software. The group conducts cutting-edge research in compiler testing, formal methods, and high-performance systems, fostering collaboration across academia and industry.
Associate Professor Dan Dongseong Kim is Deputy Director of UQ Cybersecurity and an Associate Professor at The University of Queensland (UQ), Australia. Previously, he held permanent academic positions at The University of Canterbury (UC), New Zealand (2011-2018) as a Senior Lecturer and Lecturer. His research focuses on Cybersecurity and Dependability for AI, IoT, Autonomous Vehicles, Cloud Computing, and Moving Target Defenses (MTD). Doctor of Philosophy in Computer Engineering from Korea Aerospace University Postdoctoral Research at Duke University (2008-2011) Visiting Scholar at University of Maryland (2007) Dan's work explores Graphical Security Models , Moving Target Defense for proactive resilience, and AI-Driven Cybersecurity with emphasis on adversarial robustness and interpretable models. His recent publications (2024-2025) span journals like IEEE Transactions on Dependable and Secure Computing and conferences such as DSN , addressing automated defense, evolving attacks, and hardware-aware security frameworks. He has advised 15 Ph.D. graduates, including researchers now at institutions like RMIT University, La Trobe University, and CSIRO's Data61. Current supervision includes projects on Automated Penetration Testing , AI-Based Intrusion Response , and Moving Target Defense . Dan's research is funded by agencies including the Republic of Korea's Agency for Defence Development and US Army Research Lab . His professional roles include Associate Editor for IEEE Communications Surveys and Tutorials and Steering Committee Chair for IEEE PRDC .
Gang (Gary) Tan is a Professor at the Pennsylvania State University's College of Engineering, specializing in computer security, formal methods, and programming languages. He co-directs the Institute for Networking and Security Research (INSR) and leads the Security of Software (SOS) Group, focusing on compiler, programming language, and formal method techniques to enhance computer security. Education: B.E. in Computer Science from Tsinghua University Ph.D. in Computer Science from Princeton University His research integrates formal verification with practical security applications, particularly emphasizing: Compiler-based security enforcement Side-channel mitigation in speculative execution Fairness analysis in machine learning systems Formal grammar approaches for software reliability Key article trends show: Security-focused formal methods (15% of publications) ML fairness verification (20% of recent work) Compiler-based security solutions (30% of output) Side-channel defense mechanisms (25% of research) Parser design and formal grammar synthesis (10% of contributions) Scientific achievements include: NSF CAREER Award Google Research Awards (2x) PLDI 2024 Best Paper James F. Will Career Development Professorship Outstanding Research Award at Penn State Ruth and Joel Spira Excellence in Teaching Award Dr. Tan actively contributes to academic communities through: DARPA ISAT study group membership Program committee roles (CGO 2024, ECOOP 2018, etc) Leadership in security research initiatives
Brendan Dolan-Gavitt is an Associate Professor in the Computer Science and Engineering Department at NYU Tandon School of Engineering and part of the NYU Center for Cybersecurity (CCS). He holds a Ph.D. in Computer Science from Georgia Tech (2014) and a BA in Math and Computer Science from Wesleyan University (2006). His research spans cybersecurity, program analysis, virtualization security, memory forensics, and embedded/cyber-physical systems, focusing on automating the understanding of large software systems to develop novel defenses. Research interests include developing techniques for static and dynamic analyses of real-world software to reveal hidden design assumptions. His work has been presented at top security conferences like USENIX Security, ACM CCS, and IEEE Security & Privacy. He led the development of the open-source PANDA platform for dynamic analysis. His publications primarily focus on AI-driven security solutions, vulnerability discovery, and automated testing tools. Recent work explores LLMs in offensive security, fuzzing enhancements, and secure code generation, emphasizing practical applications in cybersecurity. Scientific Awards: NSF CAREER Award for improving software vulnerability testing and education He leads the OSIRIS Lab, a student-run cybersecurity group, and collaborates on interdisciplinary projects addressing emerging security challenges through grants and industry partnerships.
