4065_chrishauser_0.jpg

Christophe Hauser

Software Security Program Analysis Formal Methods Reverse Engineering Vulnerability Discovery
Dartmouth college Department of Computer Science

About

I specialize in software security and build models to reason about new cyber attacks and defenses across the software stack and hardware boundaries. My work is at the intersection of program analysis, formal methods and machine learning with applications to reverse engineering and vulnerability discovery and a focus on binary code and firmware. My research interests also include intrusion detection, usable security and privacy-preserving systems.

Research Performance Summary

34
Total Papers
2464
Total Citations
10
H-Index
2009-2025
Active Research Span

First Recorded Paper

Probabilist modeling of musical chord sequences for music analysis

Year: 2009

Citations: 1

Venue: N/A

Latest Recorded Paper

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables

Year: 2025

Citations: 0

Venue: arXiv preprint arXiv:2506.00313

Last 10 Years Publication Activity

This timeline shows the professor's yearly publication activity.

2025
5
2024
3
2023
3
2022
4
2021
3
2019
2
2018
1
2017
2
2016
1
2015
1
2013
4

Publication Venues and Collaboration

Journal, Conference, and Book Publication Breakdown

Conference 20
Journal 2
Book 2

Top Coauthors

Hauser Wang Shoshitaishvili

Research Impact by Period

2025-2026

Period Stats
Papers 5
Citations 6
Avg. Citations / Paper 1.2
H-Index 2

2020-2024

Period Stats
Papers 13
Citations 152
Avg. Citations / Paper 11.7
H-Index 5

2015-2019

Period Stats
Papers 7
Citations 2251
Avg. Citations / Paper 321.6
H-Index 4

2010-2014

Period Stats
Papers 7
Citations 54
Avg. Citations / Paper 7.7
H-Index 3

2005-2009

Period Stats
Papers 2
Citations 1
Avg. Citations / Paper 0.5
H-Index 1

Contact and Professional Links

Contact Information

Christophe.Hauser@dartmouth.edu

Detected Research Keywords

Intrusion Detection Distributed Detection Distributed Systems Approach Taint Marking Vulnerabilities Binary Executables