جست‌وجوی استاد و پژوهشگر

Chengmo Yangمشاهده پروفایل

استاد

• Embedded Systems
• Design Automation
• Computer Architecture
• +۶ مورد دیگر

Dr. Chengmo Yang is a Professor in the Department of Electrical and Computer Engineering at the University of Delaware, with a joint appointment. She received her PhD and MSc in Computer Science from the University of California, San Diego, and a BSc in Microelectronics from Peking University, China. PhD, University of California, San Diego MSc, University of California, San Diego BSc, Peking University, China Her research focuses on enhancing security, reliability, non-volatility, and energy efficiency in embedded systems, cyber-physical systems (CPS), and Internet-of-Things (IoT). She leads the Computer Architecture, Reliability, and Security (CARES) group and has authored over 70 peer-reviewed publications. Recent publications emphasize neural network accelerators, non-volatile memory (NVM) optimization, and security frameworks for embedded systems. Her work explores fault tolerance, wear leveling, and side-channel attack mitigation in NVM-based FPGAs, STT-RAM, and SSDs. National Science Foundation Career Award (2013) University of Delaware Mid-Career Faculty Excellence in Scholarship Award (2020) Best paper award at ICESS (2019) Three best paper nominations at DAC, DATE, and GLSVLSI (2019) Dr. Yang serves as Associate Editor for IEEE TCAD and ACM TODAES. She is the Diversity & Inclusion Representative for IEEE CEDA and has organized numerous conferences including Technical Program Chair for CODES-ISSS 2022. Her lab has hosted current and former students like Fanruo Meng (PhD candidate), Fateme Hosseini (Qualcomm), and Patrick Cronin (Intel), focusing on graduate-level research in hardware security and reliability.

Shreyas Senمشاهده پروفایل

دانشیار

• VLSI and Circuit Design
• Human Body Communication (HBC)
• Hardware Security
• +۵ مورد دیگر

Shreyas Sen is the Elmore Associate Professor of Electrical and Computer Engineering at Purdue University, jointly affiliated with the School of Biomedical Engineering. He directs the Center for Internet of Bodies (C-IoB) and leads the SPARC Lab, focusing on circuits/systems for secure, energy-efficient body-centric communication and biomedical applications. Education: B.E. (Jadavpur University, 2006), M.S. & Ph.D. (Georgia Tech, 2009-2011). His research spans Human Body Communication (HBC), hardware security, IoT/IoB systems, and low-power sensing. Notable innovations include Electro-Quasistatic HBC (EQS-HBC) technology, which enables covert body-wire communication with 100x lower energy than conventional methods. Research Themes: Secure communication for medical wearables Physical layer security in IoT Ultra-low-power biosensors Side-channel attack mitigation in cryptographic ICs Publications: Over 200 papers in top venues (ISSCC, DAC, CICC, HOST) with focus on HBC systems, electromagnetic security, and biomedical circuits. Recent work explores EQS-HBC privacy properties (Nature Scientific Reports, 2019) and 350x current-domain signature attenuation for AES security (ISSCC 2020). Awards: NSF CAREER Award (2020) AFOSR Young Investigator (2016) MIT TR35 India (2018) 9 Best Paper Awards Intel Outstanding Researcher (2020) He advises over 20 students and leads industry collaborations through Ixana Inc. (founded 2020), commercializing EQS-HBC technology. Current efforts include EQS-based authentication systems and radiation dosimetry wearables.

Deian Stefanمشاهده پروفایل

دانشیار

• Security
• Programming Languages
• Systems
• +۶ مورد دیگر

Deian Stefan is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego (UCSD). His research focuses on building secure systems through interdisciplinary approaches spanning security , programming languages , and systems . Key areas include WebAssembly security , JavaScript JITs , constant-time programming , memory safety , information flow control , and program analysis tools. He co-founded Intrinsic , a web-security startup later acquired by VMWare, and contributed to standards like W3C WebAppSec and Node.js Security Working Groups. Education: PhD in Computer Science from Stanford University (2015), advised by David Mazières, John C. Mitchell, and Alejandro Russo BE and ME in Electrical Engineering from Cooper Union (2011) Research Trends: His work targets secure systems (Web frameworks, sandboxing, runtime systems), language-based security (constant-time programming, memory safety), and verification for security . Recent publications focus on mitigating speculative execution attacks, hardware-assisted sandboxing, and WebAssembly security. Awards & Recognition: Distinguished Paper Award at POPL 2021 and IEEE MICRO Top Picks 2024 Best Paper Award at CollaborateCom 2010 2010.01 Prize by Daniel J. Bernstein (DJB) Most Influential Paper Award at ICFP 2022 Teaching: He has taught graduate and undergraduate courses including Graduate Computer Security (CSE 227) , Building Secure Systems with Rust , and Programming Languages: Principles and Paradigms at UCSD since 2018. Prior teaching experience includes Stanford and Cooper Union.

Changxi Zhengمشاهده پروفایل

دانشیار

• Computer Graphics
• Scientific Computing
• Physics-Based Sound Synthesis
• +۷ مورد دیگر

Changxi Zheng is an Associate Professor in the Department of Computer Science at Columbia University's School of Engineering and Applied Science (SEAS). He directs Columbia's Computer Graphics Group (C2G2) within the Columbia Vision and Graphics Center (CVGC). After receiving his PhD from Cornell University, he joined the faculty of Computer Science Department at Columbia, where he has established himself as a leading researcher in computer graphics and scientific computing. Dr. Zheng's research spans multiple areas of applied computer science with a particular focus on computer graphics and scientific computing. His work centers around developing numerical models for simulating physical phenomena involving complex motions such as fluids, bubbles, and thin rods, along with their resulting acoustic waves. Leveraging computational insights from these models, he devises methods for improving tangible object creation, enabling novel human-computer interactions, and developing software tools for acoustic and photonic devices. His research has attracted significant public interest and media coverage, including projects like FontCode, AirCode, and Computational Metallophone Design. His recent publications reveal a strong interdisciplinary approach, bridging computer graphics, physics simulation, machine learning, and hardware design. His work demonstrates consistent innovation in computational methods for simulating physical phenomena and applying these techniques to practical problems in 3D printing, acoustic modeling, and interactive systems. The breadth of his research spans from fundamental physics-based simulations to practical applications in industry. Columbia SEAS Dean's Fellow (for advised students) NSF Graduate Research Fellow (for Ruilin Xu) Snap Research Fellow (for Rundi Wu) CKGSB Fellow (for Yun Fei) Adobe Research Fellow (for Gabriel Cirio) Marie Sklodowska-Curie Individual Fellow (for Rundi Wu) Best Paper Award at ACM International Conference on Multimedia (ACMMM), 2019 Dr. Zheng actively mentors a diverse group of students, including current PhD candidates and postdoctoral researchers. His research group has received support from various sources that enable their innovative work in computational graphics and physics-based simulation. He has supervised numerous successful students who have gone on to positions at leading technology companies including Adobe, Tencent, Facebook, and academic institutions. As director of Columbia's Computer Graphics Group (C2G2) within the Columbia Vision and Graphics Center (CVGC), Dr. Zheng leads a vibrant research team focused on advancing the state of the art in computer graphics, physics-based simulation, and their applications. The group maintains strong collaborations with industry partners and academic institutions worldwide, fostering an environment of innovation and practical application of theoretical concepts.

Nirupam Royمشاهده پروفایل

استادیار

• Wireless Networking
• Mobile Computing
• Cyber-Physical Systems
• +۹ مورد دیگر

Nirupam Roy is an Assistant Professor at the Department of Computer Science, University of Maryland, College Park, and Director of the iCoSMoS research lab. His work bridges wireless networking, mobile computing, and acoustic sensing with applications in IoT, localization, healthcare, security, and wearables. Research Focus: Wireless Networking & Mobile Sensing Awards: Best paper award, MobiSys 2022 Best demo award, MobiSys 2021 CSL Ph.D. Thesis Award, UIUC 2019 Students: Nakul Garg, Yang Bai, Irtaza Shahid, Harshvardhan Takawale, Aritrik Ghosh, Ayushi Mishra, Sumbul Zehra, Justin Goodman Grants: NSF CAREER award (2023), Meta Research Award (2023)

Deian Stefanمشاهده پروفایل

دانشیار

• security
• programming languages
• systems
• +۷ مورد دیگر

Deian Stefan is an Associate Professor at the University of California San Diego (UCSD) in the Department of Computer Science and Engineering . His research spans security , programming languages , and systems , with a focus on building principled and practical secure systems. He has served as a co-founder and Chief Scientist at Intrinsic (acquired by VMWare) and contributed to standards bodies like the W3C WebAppSec and Node.js Security Working Groups . His research interests include: Secure Systems : Web frameworks, browser designs, sandboxing, runtime systems Language-Based Security : Constant-time programming, memory safety, information flow control Verification : Security verification, static/symbolic analysis tools WebAssembly and JavaScript JITs security Deian Stefan has received multiple scientific awards , including several Distinguished Paper Awards at venues like POPL, ICFP, and USENIX Security, as well as the IEEE Cybersecurity Award for Practice (2022) and CSAW 2020 First Place for Applied Research. He has taught courses on Computer Security (CSE 127, CSE 227) and advanced topics in Building Secure Systems (CSE 291) using Rust, WebAssembly, and blockchain security. His work has been supported by collaborations with industry and academia, including projects like RLBox and COWL .

• Embedded Security
• Cryptography
• Hardware Security
• +۵ مورد دیگر

Christof Paar is a Professor of Embedded Security at Ruhr University Bochum's Faculty of Computer Science. His work focuses on hardware security, cryptography, and embedded systems security. He leads the Embedded Security Group within the CASE Cluster of Excellence (Cyber Security in the Age of Large-Scale Attacks), addressing cutting-edge challenges in hardware Trojans, side-channel attacks, and cryptographic engineering. His research spans FPGA and IoT security, with contributions to physical-layer security, wireless jamming defenses, and tamper-resistant systems. Research Interests: Paar's expertise lies in hardware-software co-design for security, with a focus on embedded systems. His work includes analyzing vulnerabilities in FPGAs, developing countermeasures against side-channel attacks, and exploring physical-layer security mechanisms. He also investigates the human factors in hardware reverse engineering and the implications of adversarial machine learning on security systems. Notable Work: Recent publications highlight breakthroughs in detecting hardware Trojans across CMOS generations, breaking industry-standard IP protection mechanisms (IEEE 1735), and proposing novel defenses like IRShield against adversarial wireless sensing. His group actively contributes to standards for secure embedded systems and IoT devices, emphasizing practical implementations.

Heather Zhengمشاهده پروفایل

استاد

• Mobile Computing
• Security and Privacy
• Adversarial Machine Learning
• +۵ مورد دیگر

Heather Zheng is the Neubauer Professor of Computer Science at the University of Chicago, co-directing the SAND Lab (Security, Algorithms, Networking and Data) with Prof. Ben Y. Zhao. She holds IEEE (2015) and ACM (2023) Fellowships, and was recognized as MIT TR35 (2005) for cognitive radio research. Her work bridges mobile/IoT security, adversarial ML, and generative AI ethics. Zheng earned her PhD in Electrical and Computer Engineering from University of Maryland in 1999, with prior roles at Bell-Labs, Microsoft Research Asia, and UCSB. Education: PhD in Electrical and Computer Engineering, University of Maryland, College Park (1999) Research Focus: Explores cutting-edge challenges in: Security implications of mobile/IoT sensors (e.g., bracelet-of-silence countermeasures) Adversarial machine learning defense mechanisms (e.g., Blacklight attack detection) Generative AI governance (Glaze, NightShade copyright tools) Awards: ACM Fellow (2023) IEEE Fellow (2015) World Technology Network Fellow Labs & Collaborations: Leads SAND Lab focusing on security, ML, and networked systems. Active in UChicago's Systems Group exploring cloud/edge computing architectures.

Xinwen Fuمشاهده پروفایل

استاد

• Computer Security and Privacy
• IoT Security and Privacy
• Mobile Security
• +۷ مورد دیگر

Dr. Xinwen Fu is a Professor in the Miner School of Computer & Information Sciences at the University of Massachusetts Lowell, where he also serves as Director of the iSAFER Center. He received his Ph.D. in Computer Engineering from Texas A&M University (2005), M.S. in Electrical Engineering from University of Science and Technology of China (1998), and B.S. in Electrical Engineering from Xi'an Jiaotong University (1995). Research Interests Dr. Fu specializes in Computer Security and Privacy , with particular focus on IoT Security , Mobile Security , Network Security , and Digital Forensics . His research has been published in all four top computer security conferences: IEEE Symposium on Security and Privacy (S&P/Oakland), ACM Conference on Computer and Communications Security (CCS), USENIX Security Symposium, and Network and Distributed System Security Symposium (NDSS), as well as prestigious journals like ACM/IEEE Transactions on Networking and IEEE Transactions on Dependable and Secure Computing. His work has gained significant media attention from CNN, Wired, Huffington Post, Forbes, Yahoo, MIT Technology Review, and PC Magazine, including multiple appearances on CNN Domestic and International. He has also served as TPC member for numerous prestigious conferences including ACM CCS, IEEE INFOCOM, and IEEE ICDCS. Scientific Awards Best paper award at IEEE International Conference on Industrial Internet (ICII) 2019 Best paper award, International Conference on Wireless Algorithms, Systems, and Applications (WASA), 2017 Teaching Excellence Award of Department of Computer Science, UMass Lowell, 2016 Best paper award, International Performance Computing and Communications Conference (IPCCC) 2016 Award of Excellence, GeekPwn 2016 Ethic Smart Life Hack Competition Erich Spengler Student Cyber Paper Award with students, The Colloquium for Information Security Education (CISSE), 2016 Spotlight Paper of the IEEE Transactions on Mobile Computing (TMC), February 2014 Best paper award, International Conference on Wireless Algorithms, Systems, and Applications (WASA), 2013 Best paper award, IEEE International Conference on Communications (ICC): Communications and Information Security Symposium, 2013 Teaching award, Department of Computer Science, University of Massachusetts Lowell, 2011

Soheil Salehiمشاهده پروفایل

استادیار

• Hardware Security
• AI-Enabled Security
• Internet of Things (IoT) Security
• +۱۵ مورد دیگر

Soheil Salehi is a tenure-track Assistant Professor in the Department of Electrical and Computer Engineering at the University of Arizona, with a joint appointment in Systems and Industrial Engineering. He is the Director of the Privacy-preserving, Intelligent, and Secure Computing (PRISM) Lab, established in August 2022. Prior to this, he was an NSF-Sponsored Computing Innovation Fellow and Postdoctoral Research Fellow at the University of California, Davis. Ph.D., Electrical and Computer Engineering, University of Central Florida, 2020 M.S., Electrical and Computer Engineering, University of Central Florida, 2016 B.S., Isfahan University of Technology, Iran, 2014 Dr. Salehi's research focuses on the intersection of hardware, AI, and security. His work spans hardware and AI-enabled security in IoT , Generative AI for hardware design and security , neuromorphic and biologically-inspired AI hardware , emerging spin-based devices , reconfigurable architectures , low-power VLSI circuits , and digital twins and mixed reality for semiconductor workforce development . He also explores the application of Generative AI in personalized education . His recent publications, spanning 2023–2025, reveal a strong trend toward integrating AI and machine learning into hardware security and design. Key themes include automated secure IC design flows , AI-driven hardware obfuscation , firmware and side-channel attack analysis , security in neuromorphic and spiking neural networks , and educational frameworks using digital twins and generative models . His work appears in top venues like DAC, ICCAD, USENIX Security, IEEE TCAS-I, and ISCAS. Outstanding Reviewer Award, IEEE/ACM Design Automation Conference (DAC), 2023 Best Presentation of the Symposium Award, UC Davis Postdoctoral Research Symposium, 2021 UCF Excellence by a Graduate Teaching Assistant (University-Level), 2016 Nominated for 30-under-30 Award, UCF, 2020 Nominated for Postdoctoral Research Excellence Award, UC Davis, 2022 Dr. Salehi has secured significant research funding as PI and Co-PI, including a $300K NSF SaTC EAGER grant on Generative AI-based Personalized Cybersecurity Tutor, a $174,000 University of Arizona PIF Award, and multiple RII grants totaling over $198K. He has also received industry funding from CHEST. He actively mentors students and leads the PRISM Lab, which focuses on privacy-preserving and intelligent secure computing. His service includes roles as Technical Program Committee (TPC) Member and Session Chair at premier conferences such as DAC, ICCAD, CCS, NDSS, and GLSVLSI. The PRISM Lab, under his direction, conducts cutting-edge research in secure and intelligent hardware systems, with applications in IoT, edge computing, and workforce development. The lab emphasizes interdisciplinary collaboration and innovation in both research and education.

Daniel Balasubramanianمشاهده پروفایل

دانشیار مدعو

• Cyber-physical Systems
• Cybersecurity
• Software Verification
• +۳ مورد دیگر

Daniel Balasubramanian is an Adjunct Associate Professor of Computer Science and Research Scientist at Vanderbilt University's School of Engineering. His research focuses on cybersecurity, software verification, and cyber-physical systems, with expertise in symbolic execution, code analysis, and formal methods. He contributes to advancing secure systems through frameworks like RAMPART for adversarial defense and Syntheto for formal verification. His work intersects edge computing, hardware security, and autonomous systems resilience. Research Interests: Cybersecurity (including ethical hacking, network defense), formal methods (verification, theorem proving), edge computing (tinyML, cloud integration), and cyber-physical systems (emulation, testbeds). His recent work emphasizes assurance provenance in software documentation and adversarially robust autonomous systems. Publications since 2019 highlight contributions to cybersecurity testbeds, reinforcement learning for penetration resistance, and hardware security against rowhammer attacks. He has explored domain-specific languages (Syntheto), incremental modeling techniques (differential-formula), and cloud-edge service resilience against adversarial perturbations. Labs/Teams: Affiliated with the Institute for Software-Integrated Systems (ISIS), focusing on integrating software with physical systems through model-driven approaches and cybersecurity innovations.

Mauro Contiمشاهده پروفایل

استاد

• Security
• Privacy
• Wireless Sensor Networks
• +۹ مورد دیگر

Mauro Conti is a Full Professor at the University of Padua, Italy, where he serves as Editor-in-chief of IEEE TIFS, UniPD Academic Advisor for Entrepreneurship Development, Study Program Coordinator of the MSc degree in Cybersecurity, Head of the SPRITZ Security and Privacy Research Group, and Director of the UniPD node of CINI Cybersecurity National Lab. He also maintains affiliations with TU Delft (NL) and the University of Washington (USA). Additionally, he is the CEO and co-founder of CHISITO and co-founder of DYALOGHI. His research focuses on security and privacy for wireless resource-constrained mobile devices (WSNs, RFIDs, and smartphones), computer system security, computer forensics, access control, and distributed and networked systems. Professor Conti has published extensively in top security venues including ACM CCS, IEEE S&P, NDSS, and USENIX Security, with recent work covering topics such as battery authentication, federated learning privacy, private set intersections, USB peripheral fingerprinting, and ATM PIN inference. He has received numerous prestigious awards including IEEE Fellow, Young Academy of Europe Fellow, EU Marie Curie Fellow, and DAAD Fellow. Professor Conti has advised over 100 students at various levels including PhD, MSc, and BSc, many of whom have gone on to successful careers in academia and industry. His research has been supported by multiple European Commission projects, university grants, and industry collaborations with companies like Cisco and Intel.

• System Security
• Cloud Computing Security
• Network 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.

• Systems and Network Security
• Applied Cryptography
• Cybersecurity
• +۹ مورد دیگر

Dr. Angelos D. Keromytis is the John H. Weitnauer, Jr. Endowed Chair Professor and Georgia Research Alliance (GRA) Eminent Scholar at the School of Electrical and Computer Engineering , Georgia Institute of Technology . He is a globally recognized leader in systems and network security and applied cryptography , with over 250 publications and 67 issued US patents. He is an elected Fellow of both the IEEE and ACM, and previously served as a Program Manager at DARPA and Program Director at NSF. Education: Ph.D. in Computer Science, University of Pennsylvania (2001) M.Sc. in Computer Science, University of Pennsylvania (1997) B.Sc. in Computer Science, University of Crete, Greece (1996) Research Interests: Dr. Keromytis's research spans a broad spectrum of cybersecurity topics, including: Systems and Network Security : He has led foundational work in secure systems design, intrusion detection, and network anomaly detection. Applied Cryptography : His work includes cryptographic protocols, secure communications, and privacy-preserving systems. Hardware and Side-Channel Security : He has pioneered techniques for detecting hardware Trojans using electromagnetic side-channels. Cloud and IoT Security : He has developed novel approaches to securing cloud services and IoT devices. Software Security : His work includes defenses against malware, return-oriented programming (ROP), and automated software patching. Scientific Awards: John H. Weitnauer, Jr. Endowed Chair Georgia Research Alliance (GRA) Eminent Scholar IEEE Fellow (2018) ACM Fellow (2017) ACM Distinguished Scientist (2012) DARPA Superior Public Service Medal DARPA Results Matter Award Advising and Grants: Dr. Keromytis has advised over 30 Ph.D. students and numerous postdocs. He has secured over $35M in research funding from agencies like DARPA, NSF, IARPA, ONR, and AFRL. His recent grants include: DARPA SMOKE : $22.7M for "Antikythera" cybersecurity framework NSF SaTC : $1.2M for mobile network anti-tracking architecture DARPA CHASE : $1.7M for network abuse behavioral engine DARPA OPS-5G : $7.3M for large-scale adversary defense ONR : $4.4M for dormant hardware Trojan detection Labs and Teams: He co-founded and co-directs the Center for Cyber Operations Enquiry and Unconventional Sensing (COEUS) at Georgia Tech. Previously, he founded and directed the Network Security Lab (NSL) at Columbia University, which produced foundational research in network security, intrusion detection, and software protection.

Mathias Payerمشاهده پروفایل

دانشیار

• Software Security
• System Security
• Binary Exploitation
• +۳ مورد دیگر

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++)