An improved slicer for Java. - Christian Hammer 001; Gregor Snelting (PASTE, 2004)

Intransitive Noninterference in Dependence Graphs. - Christian Hammer 001; Jens Krinke; Frank Nodes (ISoLA, 2006)

Information Flow Control for Java Based on Path Conditions in Dependence Graphs. - Christian Hammer 001; Jens Krinke; Gregor Snelting (ISSSE, 2006)

Dynamic path conditions in dependence graphs. - Christian Hammer 001; Martin Grimme; Jens Krinke (PEPM, 2006)

An Evaluation of Slicing Algorithms for Concurrent Programs. - Dennis Giffhorn; Christian Hammer 001 (SCAM, 2007)

Dynamic detection of atomic-set-serializability violations. - Christian Hammer 001; Julian Dolby; Mandana Vaziri; Frank Tip (ICSE, 2008)

Static path conditions for Java. - Christian Hammer 001; Rüdiger Schaade; Gregor Snelting (PLAS, 2008)

Precise Analysis of Java Programs Using JOANA. - Dennis Giffhorn; Christian Hammer 001 (SCAM, 2008)

Precise slicing of concurrent programs. - Dennis Giffhorn; Christian Hammer 001 (Autom. Softw. Eng., 2009)

Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs. - Christian Hammer 001; Gregor Snelting (Int. J. Inf. Sec., 2009)

Information flow control for Java: a comprehensive approach based on path conditions in dependence graphs. - Christian Hammer 001 (2009)

A Type System for Data-Centric Synchronization. - Mandana Vaziri; Frank Tip; Julian Dolby; Christian Hammer 001; Jan Vitek (ECOOP, 2010)

Experiences with PDG-Based IFC. - Christian Hammer 001 (ESSoS, 2010)

The Eval That Men Do - A Large-Scale Study of the Use of Eval in JavaScript Applications. - Gregor Richards; Christian Hammer 001; Brian Burg; Jan Vitek (ECOOP, 2011)

Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs. - William N. Sumner; Christian Hammer 001; Julian Dolby (RV, 2011)

A data-centric approach to synchronization. - Julian Dolby; Christian Hammer 001; Daniel Marino; Frank Tip; Mandana Vaziri; Jan Vitek (ACM Trans. Program. Lang. Syst., 2012)

AppGuard - Fine-Grained Policy Enforcement for Untrusted Android Applications. - Michael Backes 001; Sebastian Gerling; Christian Hammer 001; Matteo Maffei; Philipp von Styp-Rekowsky (DPM/SETOP, 2013)

Idea: Callee-Site Rewriting of Sealed System Libraries. - Philipp von Styp-Rekowsky; Sebastian Gerling; Michael Backes 001; Christian Hammer 001 (ESSoS, 2013)

Detecting deadlock in programs with data-centric synchronization. - Daniel Marino; Christian Hammer 001; Julian Dolby; Mandana Vaziri; Frank Tip; Jan Vitek (ICSE, 2013)

Flexible access control for javascript. - Gregor Richards; Christian Hammer 001; Francesco Zappa Nardelli; Suresh Jagannathan; Jan Vitek (OOPSLA, 2013)

AppGuard - Enforcing User Requirements on Android Apps. - Michael Backes 001; Sebastian Gerling; Christian Hammer 001; Matteo Maffei; Philipp von Styp-Rekowsky (TACAS, 2013)

Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis. - Abhishek Bichhawat; Vineet Rajani; Deepak Garg 001; Christian Hammer 001 (PLAS@ECOOP, 2014)

Information Flow Control in WebKit's JavaScript Bytecode. - Abhishek Bichhawat; Vineet Rajani; Deepak Garg 001; Christian Hammer 001 (POST, 2014)

Detecting Deadlock in Programs with Data-Centric Synchronization. - Christian Hammer 001 (Software Engineering, 2014)

Flexible Access Control for JavaScript. - Christian Hammer 001 (Software Engineering, 2014)

Checking probabilistic noninterference using JOANA. - Gregor Snelting; Dennis Giffhorn; Jürgen Graf 001; Christian Hammer 001; Martin Hecker 001; Martin Mohr; Daniel Wasserrab (it Inf. Technol., 2014)

Information Flow Control for Event Handling and the DOM in Web Browsers. - Vineet Rajani; Abhishek Bichhawat; Deepak Garg 001; Christian Hammer 001 (CSF, 2015)

Learning How to Prevent Return-Oriented Programming Efficiently. - David Pfaff; Sebastian Hack; Christian Hammer 001 (ESSoS, 2015)

Boxify: Full-fledged App Sandboxing for Stock Android. - Michael Backes 001; Sven Bugiel; Christian Hammer 001; Oliver Schranz; Philipp von Styp-Rekowsky (USENIX Security Symposium, 2015)

R-Droid: Leveraging Android App Analysis with Static Slice Optimization. - Michael Backes 001; Sven Bugiel; Erik Derr; Sebastian Gerling; Christian Hammer 001 (AsiaCCS, 2016)

Implementation-level analysis of the JavaScript helios voting client. - Michael Backes 001; Christian Hammer 001; David Pfaff; Malte Skoruppa (SAC, 2016)

WebPol: Fine-Grained Information Flow Policies for Web Browsers. - Abhishek Bichhawat; Vineet Rajani; Jinank Jain; Deepak Garg 001; Christian Hammer 001 (ESORICS (1), 2017)

Idea: Optimized Automatic Sanitizer Placement. - Gebrehiwet Biyane Welearegai; Christian Hammer 001 (ESSoS, 2017)

ThiefTrap - An Anti-theft Framework for Android. - Sascha Groß; Abhishek Tiwari 001; Christian Hammer 001 (SecureComm, 2017)

PIAnalyzer: A Precise Approach for PendingIntent Vulnerability Analysis. - Sascha Groß; Abhishek Tiwari 001; Christian Hammer 001 (ESORICS (2), 2018)

A Formal Logic Framework for the Automation of the Right to Be Forgotten. - Abhishek Tiwari 001; Fabian Bendun; Christian Hammer 001 (SecureComm (1), 2018)

Secure multi-execution in Android. - Dhiman Chakraborty 001; Christian Hammer 001; Sven Bugiel (SAC, 2019)

Static security evaluation of an industrial web application. - Gebrehiwet B. Welearegai; Max Schlüter; Christian Hammer 001 (SAC, 2019)

LUDroid: A Large Scale Analysis of Android - Web Hybridization. - Abhishek Tiwari 001; Jyoti Prakash; Sascha Groß; Christian Hammer 001 (SCAM, 2019)

IIFA: Modular Inter-app Intent Information Flow Analysis of Android Applications. - Abhishek Tiwari 001; Sascha Groß; Christian Hammer 001 (SecureComm (2), 2019)

PointEval: On the Impact of Pointer Analysis Frameworks. - Jyoti Prakash; Abhishek Tiwari 001; Christian Hammer 001 (CoRR, 2019)

Revealing injection vulnerabilities by leveraging existing tests. - Katherine Hough; Gebrehiwet B. Welearegai; Christian Hammer 001; Jonathan Bell 001 (ICSE, 2020)

A Large Scale Analysis of Android - Web Hybridization. - Abhishek Tiwari 001; Jyoti Prakash; Sascha Groß; Christian Hammer 001 (J. Syst. Softw., 2020)

Effects of Program Representation on Pointer Analyses - An Empirical Study. - Jyoti Prakash; Abhishek Tiwari 001; Christian Hammer 001 (FASE, 2021)

Permissive runtime information flow control in the presence of exceptions. - Abhishek Bichhawat; Vineet Rajani; Deepak Garg 001; Christian Hammer 001 (J. Comput. Secur., 2021)

Detecting return-oriented programming on firmware-only embedded devices using hardware performance counters. - Adebayo Omotosho; Gebrehiwet B. Welearegai; Christian Hammer 001 (SAC, 2022)

Our fingerprints don't fade from the Apps we touch: Fingerprinting the Android WebView. - Abhishek Tiwari 001; Jyoti Prakash; Alimerdan Rahimov; Christian Hammer 001 (CoRR, 2022)

IDS-MA: Intrusion Detection System for IoT MQTT Attacks Using Centralized and Federated Learning. - Adebayo Omotosho; Yaman Qendah; Christian Hammer 001 (COMPSAC, 2023)

Detecting and Preventing ROP Attacks using Machine Learning on ARM. - Gebrehiwet B. Welearegai; Chenpo Hu; Christian Hammer 001 (COMPSAC, 2023)

Evaluating the Hardware Performance Counters of an Xtensa Virtual Prototype. - Adebayo Omotosho; Sirine Ilahi; Ernesto Cristopher Villegas Castillo; Christian Hammer 001; Christian Sauer 001 (DDECS, 2023)

Demand-driven Information Flow Analysis of WebView in Android Hybrid Apps. - Abhishek Tiwari 001; Jyoti Prakash; Christian Hammer 001 (ISSRE, 2023)

Understanding the Impact of Fingerprinting in Android Hybrid Apps. - Abhishek Tiwari 001; Jyoti Prakash; Alimerdan Rahimov; Christian Hammer 001 (MOBILESoft, 2023)

Unifying Pointer Analyses for Polyglot Inter-operations through Summary Specialization. - Jyoti Prakash; Abhishek Tiwari 001; Christian Hammer 001 (CoRR, 2023)

Towards Anomaly Detection in Embedded Systems Application Using LLVM Passes. - Sirine Ilahi; Adebayo Omotosho; Christian Hammer 001 (COMPSAC, 2024)

Modular unification of unilingual pointer analyses to multilingual FFI-based programs. - Jyoti Prakash; Abhishek Tiwari 001; Christian Hammer 001 (Sci. Comput. Program., 2025)