Arthur Gervais is a Professor of Information Security at University College London's Department of Computer Science. His work focuses on blockchain systems, smart contract security, and decentralized finance (DeFi) risk analysis. He has published extensively on topics ranging from privacy technologies to systemic vulnerabilities in financial cryptography. Research Interests: Gervais investigates security challenges in blockchain ecosystems, including censorship mechanisms, zero-knowledge proofs, and DeFi liquidation risks. His interdisciplinary approach bridges computer science, cryptography, and financial systems. Publications Trends: Recent articles emphasize empirical studies of DeFi attacks, hybrid fuzzing for smart contract verification, and privacy trade-offs in blockchain mixers. His work spans conferences like ACM SIGMETRICS, IEEE Security & Privacy, and World Wide Web Conference.
Valerie Viet Triem Tong is a Research Professor at the Paris Institute of Electrical and Electronic Engineering, School of Electrical and Electronic Engineering. She has established herself as a leading researcher in cybersecurity with a particular focus on information flow control systems, Android security, and malware analysis. Her work spans both theoretical foundations and practical security tools development. Her research interests center on Information Flow Control , where she has developed frameworks for monitoring and enforcing security policies at both operating system and application levels. She has made significant contributions to Android Security , creating tools for detecting malicious behavior in mobile applications and addressing privacy concerns in smartphone environments. Her work in Malware Analysis includes developing advanced techniques for tracking and visualizing malware behavior, with emphasis on evasive Windows malware and Android malware in the wild. She also investigates Peer-to-Peer Network Security , focusing on Sybil attack resistance and distributed identity management. Analysis of her publication record reveals a consistent trajectory from foundational work in information flow theory to increasingly applied security research. Her recent work shows a strong emphasis on practical security tools (DaViz, GUI-Mimic, BAGUETTE), security evaluation methodologies (Digital twin, CERBERE), and addressing contemporary challenges in malware analysis (debiasing datasets, handling obfuscated applications). A notable trend is her integration of visualization techniques with security analysis to make complex security data accessible to both experts and machine learning systems. As an advisor, she has mentored numerous researchers who have become first authors on significant publications, including Radoniaina Andriatsimandefitra, Tomás Concepcion Miranda, and Cedric Herzog. Her research has been supported by multiple grants focused on cybersecurity infrastructure, though specific grant details are not provided in the available information. Dr. Tong is actively involved with the CIDre security research group in Rennes, contributing to collaborative projects that bridge theoretical security models with practical implementation challenges. Her work on information flow monitoring has evolved from basic research to applied systems that address real-world security concerns across multiple platforms.
Endadul Hoque is an Assistant Professor in the Department of Electrical Engineering and Computer Science at Syracuse University (SU), leading the SYNE Lab. Previously, he held a similar position at Florida International University (FIU). He earned his Ph.D. in Computer Science from Purdue University in 2015, with postdoctoral research at Northeastern University. His research focuses on cybersecurity, particularly in automated vulnerability detection, network/system security, and IoT defense mechanisms. He draws on program analysis, formal verification, and fuzz testing. Key honors include the NSF CAREER Award (2024) and a Google Research Scholar Award (2022). His work has been published in top venues like ACM CCS, NDSS, and IEEE S&P. He actively seeks students for PhD/MSc positions in security, IoT, and program analysis. His grants include NSF funding for IoT policy enforcement and context-sensitive fuzzing. Education Ph.D., Computer Science, Purdue University, 2015 M.S., Computer Science, Marquette University, 2010 B.S., Computer Science and Engineering, Bangladesh University of Engineering and Technology, 2008 Research Interests Dr. Hoque’s work spans secure network systems, IoT security, vulnerability detection, and automated reasoning methods like SMT solving and symbolic execution. Recent innovations include VetIoT (runtime IoT defense validation) and LLM-driven security tools like iConPAL. He emphasizes practical defenses and user-centric security solutions, such as the SeQR enterprise Wi-Fi configurator. Awards NSF CAREER Award (2024) Google Research Scholar Award (2022) NDSS Distinguished Paper (2018) Grants & Service He leads NSF-funded projects on IoT policy enforcement and context-sensitive fuzzing. Served on program committees for S&P, SecDev, and DSN. Teaches courses on systems security and operating systems at SU and FIU. Lab/Team SYNE Lab at Syracuse University focuses on securing networked systems through automated analysis, runtime verification, and resilient protocols.
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.
Vyas Sekar is the Tan Family Professor of Electrical and Computer Engineering at Carnegie Mellon University (CMU), with a courtesy appointment in the Computer Science Department. He is affiliated with CyLab and co-directs the Future of Enterprise Security initiative. His research focuses on networking, cybersecurity, distributed systems, and IoT security, with an emphasis on data-driven approaches and network verification. Education: Ph.D. in Computer Science (2010) from CMU; B.Tech. from IIT Madras (President of India Gold Medal recipient). Professional roles include Chief Scientist at Conviva and co-founder of Rockfish Data. Research Interests: Cybersecurity, network security, software-defined networking (SDN), IoT security, DDoS defense, privacy-preserving data sharing, and network performance optimization. Recent work includes developing tools like Pigasus (FPGA-accelerated intrusion detection), Nomad (cloud side-channel mitigation), and frameworks for anomaly detection in IoT networks. Articles Trends: Recent publications address advanced threats like LLM-driven network attacks, stealthy automotive network exploits (CANDid), and optical-layer DDoS defenses. Emphasis on practical solutions (e.g., SketchPlan for telemetry, Pryde for firewall evasion detection). Awards: ACM SIGCOMM Test of Time Award (2022), IIT Madras Young Alumni Achiever Award (2022), Intel Outstanding Researcher Award (2021), and NSF CAREER Award (2016). Recognized for contributions to intrusion prevention, network security, and IoT resilience. Grants & Projects: Led NSF-funded ONSET project (optical-layer DDoS defense), CyLab's Secure IoT Initiative, and collaborations with industry partners like Intel, Facebook, and Nokia Bell Labs. Advises graduate students in cybersecurity and networking. Labs & Teams: Active contributor to CyLab, co-developer of frameworks like Lumos (hidden IoT device detection) and KalKi (IoT security platform). Engages in interdisciplinary research across CMU’s Robotics Institute and Software Engineering Institute.
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.
Dr. Liyi Zhou is a Lecturer in the School of Computer Science at the University of Sydney, specializing in systems security, blockchain, and AI. His research focuses on developing automated and adaptive security tools using machine learning and reinforcement learning. He co-founded D23E.ch, a platform addressing blockchain security and privacy challenges. Research interests include AI-driven vulnerability detection, large security models, real-time intrusion prevention, advanced program analysis (fuzzing/symbolic execution), and privacy-preserving systems. He actively recruits PhD students for projects advancing AI in cybersecurity. Notable achievements include pioneering 'sandwich attacks' discovery in DeFi protocols, contributing to Ethereum Foundation grants, and receiving bug bounties from Flashbots and Ethereum Foundation for vulnerability disclosures. His work has been published in venues like IEEE S&P, USENIX Security, and SIGMETRICS. Teaching includes the course INFO2222. He seeks collaborations and funding to bridge academic research with real-world industry problems, emphasizing practical impact.
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).
Yan Chen is a Professor of Computer Science at Northwestern University's Robert R. McCormick School of Engineering and Applied Science. He leads the Northwestern Lab for Internet and Security Technology (LIST) and the Center for Ultra-scale Computing and Information Security. His research focuses on cybersecurity, network measurement, and distributed systems security. Chen holds a Ph.D. from UC Berkeley (2003), M.S. from SUNY Stony Brook, and B.E. from Zhejiang University. Research interests include securing networking systems, intrusion detection, cloud-native platforms, and mobile security. Notable awards include the DOE Early CAREER Award (2005), Air Force Young Investigator Award (2007), and ACM ASPLOS'18 Most Influential Paper Award. His work has been cited over 17,000 times with an h-index of 62 (2024). Key contributions include the LIST lab's advancements in APT detection, provenance tracking in microservices, and security frameworks like FlowCog. He advises numerous Ph.D. students and has graduated over 20 researchers now in academia and industry.
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
