HexHive PhD, MSc, BSc projects
This is a list of past BSc and MSc research projects conducted in the HexHive group.
MScT at Ernest and Young: Cyber Risks (Yanis DeBusschere)2023
MScP: Cython reverse-engineering (Vlad-Mihai Ciuleanu)
MScT: Parallel Experiment Lène (Solène Husseini)
MScP: Syzkaller Profiling (Nicolas Raulin)
MScT: Grammar Fuzz Benchmark (Milan Duric)
MScP: TA Double Fetch Symbex (Louis Dumas)
MScP: Emulating TAs (Li Shi)
MScT at Oracle Labs: Java Fuzzing (Eva Vaughan)
MScT at Kudelski: Exploration and Enhancement of Firmware Emulation in the Security Industry Context (Duo Xu)
MScP: Type confusion test suite (Adrien Bouquet)
MScP: Prevalence of recursive data structures for C libraries isolation (Vicenzo Pellegrini)
MScP: Double-fetch bugs in TAs (Pietro Moretto)
MScT at Rolex: Research and development of a DLP rules analyzer based on a Cybersecurity framework (Pierre Colson)
MScP: Scripting Language Implementation Bug Analysis (Milan Duric)
MScT at SICPA: Automatic generation of mock functions for unit tests (Julien DiTria)
MScT at Compass Security Schweiz: Process Injection for Threat Simulation (Jonas Konrad)
MScT at University of Oxford: Evaluating the Scale and Attack Surface of PLC Deployments (Isis Daudé)
MScT at Oracle Labs: Deptyque: eBPF-Based Build Provenance for Dependencies (Guochao Xie)
MScP: Augmenting Regression Fuzzing with Precondition Prioritization (Erchang Ni)
MScP: House of SCUDO (Elias Boschung)
MScP: Breaking IOT devices (David Kleymann)
MScP: Characterization of interface definition bugs for Rust projects (Andrija Jelenkovic)
MScP: Framework for Evaluating Synthetic Drivers for Library Fuzzing (Zurab Tsinadze)2022
MScT: Automatic Code Synthesis for Testing Java Libraries (Zhaorui Li)
MScP: Porting Enclosures to SecureCells (Solène Husseini)
MScT at SCRT: Search for ways of exploiting the discrepancies between the parsing of HTTP requests or responses in the various elements in a Web architecture (Samuel Bétrisey)
MScP: Android libraries isolation benchmark (Niels Lachat)
BScP: Designing an Extensible Build System (Mirko Rado)
MScP: Dynamic Analysis for Embedded RISC-V Firmware (Maximilian Mosler)
MScT at KAIST: Over-the-Air LTE Protocol Fuzzing (Marc Egli)
BScP: Binary rewriting testing suite (Khalil Mhirsi)
MScT: Improving Clang Static Analyzer (Jordan Cosme)
MScT at EDF: NinjaCrane: a Cybersecurity Attack Demonstrator on a Polar Crane's Industrial Control System (ICS) (Gaiëtan Renault)
MScP: Satellite Security (Franklyn Sciberras)
BScP: Tooling and Analysis of the Scudo Allocator (Elias Boschung)
BScP: Memory-tagged library (Edouard Michelin)
MScP: Concretizing Type++ detected type confusions (Damiano Amatruda)
MScP: Leveraging Bootloader Exploits on COTS Android Devices for Security Research (Artur Papp)
MScP: Dem1stified (Alexandru Tifui)
MScT at Wavestone: Application security: governance, tools and secure development practices, a focus on Security Champions and DAST tools (Adrien Fermeli)
BScP: Microarchitectural Value Predictor reversing (Yohan Abehssera)
MScP: Improving Clang Static Analyzer (Pierre Gimalac)
MScT: Understanding QMIN-enabled DNS Amplification (Marco Bearzi)
MScP: M1 Reverse Engineering (Lucas Cendes)
MScP: Detecting inline functions in assembly code (Liam Wachter)
MScP: TEEzz refactoring and extension (Leonardo Pennino)
MScP: Improving Clang Static Analyzer (Jordan Cosme)
MScP: Performance evaluation of compartmentalized systems (Jonas Konrad)
MScT: A study of SFI through safe intermediate representations (Francesco Berla)
BScP: Attestation in Linux Reprobuild: Tools for Verifying Attestations (Zacharie Tevaearai)2021
MScT at Consensys: Low-overhead functional property checking for smart-contract systems (Valentin Quelquejay)
MScP: Function detection in x86 binaries (Sylvain Kuchen)
MScP: Generating vulnerable software for competitions (Samuel Bétrisey)
MScT: Fuzzing Android native libraries (Paolo Celada)
MScT at Oracle Labs: GraalVM DSL for Unifying Bytecode-Based and AST-Based Interpreter Implementations (Nikola Bebic)
MScP: Trusted Applications Downgrade Attacks (Michele Lizzit)
MScP: OpenSSL keys isolation benchmark suite (Maxime Würsch)
MScT at CERN: A Study of the Cyber Threat Landscape (Maxime Fellrath)
MScP: Blob Dissectors (Marc Egli)
MScP: Mining Specification from Blob Dissectors (Kamila Babayeva)
BScP: Retrowriting type-safety mechanism (Hassan Habib)
MScP: Attestation in Linux Reprobuild: Detection and Remediation of Build issues (Fabio Aliberti)
MScP: HALucinator: Towards Time-Accurate Rehosting of nRF Embedded Firmware (Duo Xu)
MScT at SCRT: Searching for vulnerabilities in Barco's ClickShare devices (Bradley Mathez)
MScP: Unikernel meets SecureCells (Basil Ottinger)
MScT at Xorlab: ActiveStrike Attack Simulation (Baptiste Jacquemot)
BScP: Type-Confusion Bugs in Trusted Applications (Artur Papp)
MScP: Electric Race Cars (Adrien Remillieux)
BScP: cachefuzz evaluator (Victor Faltings)
MScP: libmpk FreeBSD port (Fréderic Gerber)
MScT: seL4 on Secure Cells (Florian Hofhammer)
BScP: Magma: Task Scheduling (Benedek Hauer)
MScP: Java Deserialization Fuzzing (Bastien Wermeille)
MScP: Reverse-Engineering M1 (Andrej Gorjan)
MScP: Fuzz Testing and Evaluation (Zhaorui Li)2020
BScP: API identification for TestGen (Tanir Cagin)
MScT at CYD: Recovering type information to aid in instrumentation (Louis Merlin)
MScP: Double Ratchet impl for Android (Francesco Berla)
MScT: Low-power AES-CCM for Bluetooth (Emiljano Gjiriti)
MScP: Double Ratchet impl for embedded (Bradley Mathez)
MScT: Compartmentalization (Andrés Sanchez)
MScT at CSEM: Secure Boot for IoT (Alex Ferragni)
MScT: BT low-level Fuzzing (Alessandro Bianchi)
MScT at IBM Research: Effectiveness of Control-Flow Integrity in the Linux Kernel: an Empirical Study (Sacha Kozma)
MScT: ARM RetroWrite (ETH) (Luca DiBartolomeo)
MScT: Compiler corpus generation (ETH) (Loris Reiff)
MScT: Deep Trust Chains (Florian Standaert)
MScP: Compiler-based SCFH search (Andrés Sanchez)
MScP: Double Ratchet impl and attacks (Alessandro Bianchi)
MScP: Information leakage in blockchain protocols (Valentyna Pavliv)2019
BScP: Fuzzing-Magma Project (Marc Egli)
BScP: Evaluating Fuzz Testing (Cosme Jordan)
MScP: Evaluating control-flow hijacking defenses (Benjamin Deleze)
BScP: Secure Memory Allocators (Samuel Dietz)
MScT: Hardening and testing privileged code through binary rewriting (Matteo Rizzo)
MScP: BPU reverse engg (Markus Ding)
MScT: JediFuzz: compiler-based transformative fuzzing (Lucio Romerio)
BScP: Automatic ISA inference (Alex Ferragni)
BScP: Focused Fuzzing (Jérémie Rossetti)2018
BScP: Android native library security (Constantin Bentzmann)