Publications

2017

ISSTA 2017 – Just-in-Time Static Analysis
Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill.
Awarded: Distinguished Paper Award, Artifact Evaluation Award.
[pdf][bib][proceedings][implementation]

ICSE 2017 Demonstration – Cheetah: Just-in-Time Taint Analysis for Android Apps
Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill.
[pdf][bib][proceedings][implementation]

2016

Technical Report – Just-in-Time Static Analysis
Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill.
[pdf][bib][implementation]

ECOOP 2016 – Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java
Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, and Eric Bodden.
Awarded: Artifact Evaluation Award.
[pdf][bib][implementation]

SOAP 2016 – Toward an Automated Benchmark Management System
Lisa Nguyen Quang Do, Michael Eichberg, and Eric Bodden.
[pdf][bib][proceedings][implementation]

2015

Technical Report – Security Analysis of TrueCrypt
Mauro Baluda, Andreas Fuchs, Philipp Holzinger, Lisa Nguyen, Lotfi ben Othmane, Andreas Poller, Jürgen Repp, Johannes Späth, Jan Steffan, Stefan Triller, and Eric Bodden.
For: Federal Office for Information Security.
[pdf][bib]

Technical Report – Toward a Just-In-Time Static Analysis
Lisa Nguyen Quang Do, Karim Ali, Eric Bodden, and Benjamin Livshits.
[pdf][bib]

Advertisements