Information Flow Control for Intrusion Detection Derived from MAC Policy. - Stephane Geller; Christophe Hauser; Frédéric Tronel; Valérie Viet Triem Tong (ICC, 2011)

A taint marking approach to confidentiality violation detection. - Christophe Hauser; Frédéric Tronel; Jason Reid; Colin J. Fidge (AISC, 2012)

Intrusion detection in distributed systems, an approach based on taint marking. - Christophe Hauser; Frederic Tronel; Colin J. Fidge; Ludovic Mé (ICC, 2013)

Firmalice - Automatic Detection of Authentication Bypass Vulnerabilities in Binary Firmware. - Yan Shoshitaishvili; Ruoyu Wang 001; Christophe Hauser; Christopher Kruegel; Giovanni Vigna (NDSS, 2015)

SOK: (State of) The Art of War: Offensive Techniques in Binary Analysis. - Yan Shoshitaishvili; Ruoyu Wang 001; Christopher Salls; Nick Stephens; Mario Polino; Andrew Dutcher; John Grosen; Siji Feng; Christophe Hauser; Christopher Krügel; Giovanni Vigna (IEEE Symposium on Security and Privacy, 2016)

A Binary Analysis Approach to Retrofit Security in Input Parsing Routines. - Jayakrishna Menon; Christophe Hauser; Yan Shoshitaishvili; Stephen Schwab (IEEE Symposium on Security and Privacy Workshops, 2018)

Sleak: automating address space layout derandomization. - Christophe Hauser; Jayakrishna Menon; Yan Shoshitaishvili; Ruoyu Wang 001; Giovanni Vigna; Christopher Kruegel (ACSAC, 2019)

BootKeeper: Validating Software Integrity Properties on Boot Firmware Images. - Ronny Chevalier; Stefano Cristalli; Christophe Hauser; Yan Shoshitaishvili; Ruoyu Wang 001; Christopher Kruegel; Giovanni Vigna; Danilo Bruschi; Andrea Lanzi (CODASPY, 2019)

Towards Learning Representations of Binary Executable Files for Security Tasks. - Shushan Arakelyan; Christophe Hauser; Erik Kline; Aram Galstyan (CoRR, 2020)

PERFUME: Programmatic Extraction and Refinement for Usability of Mathematical Expression. - Nicolaas Weideman; Virginia K. Felkner; Wei-Cheng Wu; Jonathan May; Christophe Hauser; Luis Garcia 001 (Checkmate@CCS, 2021)

Bin2vec: learning representations of binary executable programs for security tasks. - Shushan Arakelyan; Sima Arasteh; Christophe Hauser; Erik Kline; Aram Galstyan (Cybersecur., 2021)

NS3: Neuro-symbolic Semantic Code Search. - Shushan Arakelyan; Anna Hakhverdyan; Miltiadis Allamanis; Luis Garcia 001; Christophe Hauser; Xiang Ren (NeurIPS, 2022)

Harm-DoS: Hash Algorithm Replacement for Mitigating Denial-of-Service Vulnerabilities in Binary Executables. - Nicolaas Weideman; Haoda Wang; Tyler Kann; Spencer Zahabizadeh; Wei-Cheng Wu; Rajat Tandon; Jelena Mirkovic; Christophe Hauser (RAID, 2022)

AutoCPS: Control Software Dataset Generation for Semantic Reverse Engineering. - Haoda Wang; Christophe Hauser; Luis Garcia 001 (SP (Workshops), 2022)

Arbiter: Bridging the Static and Dynamic Divide in Vulnerability Discovery on Binary Programs. - Jayakrishna Vadayath; Moritz Eckert; Kyle Zeng; Nicolaas Weideman; Gokulkrishna Praveen Menon; Yanick Fratantonio; Davide Balzarotti; Adam Doupé; Tiffany Bao; Ruoyu Wang 001; Christophe Hauser; Yan Shoshitaishvili (USENIX Security Symposium, 2022)

Modeling Cognitive Workload in Open-Source Communities via Simulation. - Alexey Tregubov; Jeremy Abramson; Christophe Hauser; Alefiya Hussain; Jim Blythe (MABS, 2023)

Leader: Defense Against Exploit-Based Denial-of-Service Attacks on Web Applications. - Rajat Tandon; Haoda Wang; Nicolaas Weideman; Shushan Arakelyan; Genevieve Bartlett; Christophe Hauser; Jelena Mirkovic (RAID, 2023)

Street Rep: A Privacy-Preserving Reputation Aggregation System. - Christophe Hauser; Shirin Nilizadeh; Yan Shoshitaishvili; Ni Trieu; Srivatsan Ravi; Christopher Kruegel; Giovanni Vigna (IACR Cryptol. ePrint Arch., 2023)

BinHunter: A Fine-Grained Graph Representation for Localizing Vulnerabilities in Binary Executables*. - Sima Arasteh; Jelena Mirkovic; Mukund Raghothaman; Christophe Hauser (ACSAC, 2024)

Is This the Same Code? A Comprehensive Study of Decompilation Techniques for WebAssembly Binaries. - Wei-Cheng Wu; Yutian Yan; Hallgrimur David Egilsson; David Park; Steven Chan; Christophe Hauser; Weihang Wang 006 (CoRR, 2024)

Fine-grained Coverage-based Fuzzing. - Wei-Cheng Wu; Bernard Nongpoh; Marwan Nour; Michaël Marcozzi; Sébastien Bardin; Christophe Hauser (ACM Trans. Softw. Eng. Methodol., 2024)

Fine-grained Coverage-based Fuzzing - RCR Report. - Wei-Cheng Wu; Bernard Nongpoh; Marwan Nour; Michaël Marcozzi; Sébastien Bardin; Christophe Hauser (ACM Trans. Softw. Eng. Methodol., 2024)

BinPool: A Dataset of Vulnerabilities for Binary Security Analysis. - Sima Arasteh; Georgios Nikitopoulos; Wei-Cheng Wu; Nicolaas Weideman; Aaron Portnoy; Mukund Raghothaman; Christophe Hauser (SIGSOFT FSE Companion, 2025)

WildSync: Automated Fuzzing Harness Synthesis via Wild API Usage Recovery. - Wei-Cheng Wu; Stefan Nagy; Christophe Hauser (Proc. ACM Softw. Eng., 2025)

Trim My View: An LLM-Based Code Query System for Module Retrieval in Robotic Firmware. - Sima Arasteh; Pegah Jandaghi; Nicolaas Weideman; Dennis Perepech; Mukund Raghothaman; Christophe Hauser; Luis Garcia 001 (CoRR, 2025)

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables. - Nicolaas Weideman; Sima Arasteh; Mukund Raghothaman; Jelena Mirkovic; Christophe Hauser (CoRR, 2025)

When Machine Learning Meets Vulnerability Discovery: Challenges and Lessons Learned. - Sima Arasteh; Christophe Hauser (CoRR, 2025)