Research Agenda

Our research focuses on software and systems security. Despite efforts and improvements in bug discovery techniques, some exploitable vulnerabilities will remain. We target techniques that both enable developers to discover and remove bugs and make programs resilient against the exploitation of unknown or unpatched vulnerabilities.

To discover bugs we propose (i) sanitization techniques that enforce a security property such as memory or type safety; given concrete program input, our sanitizers then flag any property violations and (ii) fuzzing techniques that leverage static and dynamic analysis to create program inputs to explore program areas that are not yet covered through existing test cases. To protect against exploitable vulnerabilities, we focus on control-flow integrity using specific language semantics, enforcing type integrity, and protecting selective data. Under this premise, we focus on compiler-based, runtime-based, and language-based protection mechanisms and security policies that increase the resilience of applications against attacks (in the presence of software vulnerabilities). All prototypes are released as open-source and we release talks on YouTube.

Key Topics

software security, system security, sanitization, software testing, fuzzing mitigation, fault isolation, compartmentalization.

Frequently Asked Questions

Q: How can I join the HexHive research group? A: Follow the advice for prospective students/interns.
Q: What BSc or MSc projects do you offer for EPFL students? A: Check out the project page.
Q: How can I get involved with Capture the Flag? A: Come play with the (EPFL) polygl0ts.

Meet the members of the HexHive

Graduated PhD students and Post Docs

Past visitors and researchers:

• Yi Xiang (visiting PhD student from Zhejiang University, spring '25 and fall '25)
• Dariia Kharytonova (MSc research scholar, fall '24 to spring '25)
• Zezhong Ren (visiting PhD student from University of Chinese Academy of Science, spring '24 and fall '24)
• Zheyu Ma (visiting PhD student from Tsinghia University, spring '24 and fall '24)
• Zurab Tsinadze (MSc research scholar, fall '22 to spring '24)
• Duo Xu (MSc research scholar, fall '21 to fall '23)
• Yishun Zeng (visiting PhD student from Tsinghua University, spring '23 and fall '23)
• Qinying Wang (visiting PhD student from Zhejiang University, spring '23 and fall '23)
• Zhiyuan Jiang (virtual visiting PhD student from NUDT, fall '21 to spring '22)
• Jianhao Xu (visiting PhD student from Nanjing University, fall '22 and spring '23)
• Manuel Egele (visiting faculty during his sabbatical from BU, fall '21 and spring '22)
• Hossein Moghaddas (MSc research scholar, fall '21 and spring '22)
• Han Zheng (visiting MSc student from University of Chinese Academy of Sciences, spring '22 and fall '22)
• Qiang Liu (visiting PhD student from Zhejiang University, fall '21 and spring '22)
• Majid Salehi (visiting PhD student from KU Leuven, fall '21)
• Anil Kurmus (visiting researcher, fall '19)
• Sushant Dinesh (PhD student/MSc thesis, graduated spring '19)
• Alessandro Di Federico (visiting PhD student, fall '16)