Scholar
Christophe Hauser
Google Scholar ID: SMRa4pEAAAAJ
Dartmouth College
Systems security
binary analysis
dirtbikes
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,313
H-index
9
i10-index
9
Publications
20
Co-authors
20
list available
Publications
6 items
BenchShield: Formal Model-Backed Instrumentation for Reward Integrity in LLM-Agent Evaluation Infrastructure
2026
Cited
0
Formal Security Analysis of Agent Protocol Composition
2026
Cited
0
When Machine Learning Meets Vulnerability Discovery: Challenges and Lessons Learned
2025
Cited
0
Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables
2025
Cited
0
BinPool: A Dataset of Vulnerabilities for Binary Security Analysis
2025
Cited
0
Trim My View: An LLM-Based Code Query System for Module Retrieval in Robotic Firmware
2025
Cited
0
Co-authors
12 total
Yan Shoshitaishvili
Arizona State University
Christopher Kruegel
University of California, Santa Barbara and Cisco, Inc.
Giovanni Vigna
UC Santa Barbara and VMware
Mario Polino
Davide Balzarotti
Professor, Eurecom
Yanick Fratantonio
Senior Research Scientist, Google
Tiffany Bao
Arizona State University
Adam Doupé
Associate Professor, Arizona State University
