Christian Hammer

62 papers A* 4A 8B 5C 10Misc 4Journal 15Unranked 15

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Modular unification of unilingual pointer analyses to multilingual FFI-based programs. Sci. Comput. Program. Jyoti Prakash, Abhishek Tiwari, Christian Hammer
2025	A	`conf`	ShadowGuard: Cryptographic Shadow Stack Protection with XOR Obfuscation and HMAC Integrity. ISSRE Sirine Ilahi, Adebayo Omotosho, Christian Hammer
2024	B	`conf`	Towards Anomaly Detection in Embedded Systems Application Using LLVM Passes. COMPSAC Sirine Ilahi, Adebayo Omotosho, Christian Hammer
2023	A	`conf`	Demand-driven Information Flow Analysis of WebView in Android Hybrid Apps. ISSRE Abhishek Tiwari, Jyoti Prakash, Christian Hammer
2023	B	`conf`	Detecting and Preventing ROP Attacks using Machine Learning on ARM. COMPSAC Gebrehiwet B. Welearegai, Chenpo Hu, Christian Hammer
2023	C	`conf`	Evaluating the Hardware Performance Counters of an Xtensa Virtual Prototype. DDECS Adebayo Omotosho, Sirine Ilahi, Ernesto Cristopher Villegas Castillo, Christian Hammer, Christian Sauer
2023	B	`conf`	IDS-MA: Intrusion Detection System for IoT MQTT Attacks Using Centralized and Federated Learning. COMPSAC Adebayo Omotosho, Yaman Qendah, Christian Hammer
2023	—	`conf`	Understanding the Impact of Fingerprinting in Android Hybrid Apps. MOBILESoft Abhishek Tiwari, Jyoti Prakash, Alimerdan Rahimov, Christian Hammer
2023	J	`jnl`	Unifying Pointer Analyses for Polyglot Inter-operations through Summary Specialization. CoRR Jyoti Prakash, Abhishek Tiwari, Christian Hammer
2022	Misc	`conf`	Detecting return-oriented programming on firmware-only embedded devices using hardware performance counters. SAC Adebayo Omotosho, Gebrehiwet B. Welearegai, Christian Hammer
2022	J	`jnl`	Our fingerprints don't fade from the Apps we touch: Fingerprinting the Android WebView. CoRR Abhishek Tiwari, Jyoti Prakash, Alimerdan Rahimov, Christian Hammer
2021	B	`conf`	Effects of Program Representation on Pointer Analyses - An Empirical Study. FASE Jyoti Prakash, Abhishek Tiwari, Christian Hammer
2021	J	`jnl`	Permissive runtime information flow control in the presence of exceptions. J. Comput. Secur. Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
2020	J	`jnl`	A Large Scale Analysis of Android - Web Hybridization. J. Syst. Softw. Abhishek Tiwari, Jyoti Prakash, Sascha Groß, Christian Hammer
2020	J	`jnl`	A Large Scale Analysis of Android-Web Hybridization. CoRR Abhishek Tiwari, Jyoti Prakash, Sascha Groß, Christian Hammer
2020	A*	`conf`	Revealing injection vulnerabilities by leveraging existing tests. ICSE Katherine Hough, Gebrehiwet B. Welearegai, Christian Hammer, Jonathan Bell
2019	—	`conf`	IIFA: Modular Inter-app Intent Information Flow Analysis of Android Applications. SecureComm (2) Abhishek Tiwari, Sascha Groß, Christian Hammer
2019	C	`conf`	LUDroid: A Large Scale Analysis of Android - Web Hybridization. SCAM Abhishek Tiwari, Jyoti Prakash, Sascha Groß, Christian Hammer
2019	J	`jnl`	PointEval: On the Impact of Pointer Analysis Frameworks. CoRR Jyoti Prakash, Abhishek Tiwari, Christian Hammer
2019	Misc	`conf`	Secure multi-execution in Android. SAC Dhiman Chakraborty, Christian Hammer, Sven Bugiel
2019	Misc	`conf`	Static security evaluation of an industrial web application. SAC Gebrehiwet B. Welearegai, Max Schlüter, Christian Hammer
2018	—	`conf`	A Formal Logic Framework for the Automation of the Right to Be Forgotten. SecureComm (1) Abhishek Tiwari, Fabian Bendun, Christian Hammer
2018	J	`jnl`	IIFA: Modular Inter-app Intent Information Flow Analysis of Android Applications. CoRR Abhishek Tiwari, Sascha Groß, Christian Hammer
2018	—	`conf`	PIAnalyzer: A Precise Approach for PendingIntent Vulnerability Analysis. ESORICS (2) Sascha Groß, Abhishek Tiwari, Christian Hammer
2017	—	`conf`	Idea: Optimized Automatic Sanitizer Placement. ESSoS Gebrehiwet Biyane Welearegai, Christian Hammer
2017	C	`conf`	ThiefTrap - An Anti-theft Framework for Android. SecureComm Sascha Groß, Abhishek Tiwari, Christian Hammer
2017	—	`conf`	WebPol: Fine-Grained Information Flow Policies for Web Browsers. ESORICS (1) Abhishek Bichhawat, Vineet Rajani, Jinank Jain, Deepak Garg, Christian Hammer
2017	J	`jnl`	WebPol: Fine-grained Information Flow Policies for Web Browsers. CoRR Abhishek Bichhawat, Vineet Rajani, Jinank Jain, Deepak Garg, Christian Hammer
2016	Misc	`conf`	Implementation-level analysis of the JavaScript helios voting client. SAC Michael Backes, Christian Hammer, David Pfaff, Malte Skoruppa
2016	C	`conf`	Learning how to prevent return-oriented programming efficiently. Software Engineering David Pfaff, Sebastian Hack, Christian Hammer
2016	A	`conf`	R-Droid: Leveraging Android App Analysis with Static Slice Optimization. AsiaCCS Michael Backes, Sven Bugiel, Erik Derr, Sebastian Gerling, Christian Hammer
2015	A*	`conf`	Boxify: Full-fledged App Sandboxing for Stock Android. USENIX Security Symposium Michael Backes, Sven Bugiel, Christian Hammer, Oliver Schranz, Philipp von Styp-Rekowsky
2015	J	`jnl`	Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis. CoRR Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
2015	A	`conf`	Information Flow Control for Event Handling and the DOM in Web Browsers. CSF Vineet Rajani, Abhishek Bichhawat, Deepak Garg, Christian Hammer
2015	—	`conf`	Learning How to Prevent Return-Oriented Programming Efficiently. ESSoS David Pfaff, Sebastian Hack, Christian Hammer
2014	J	`jnl`	Checking probabilistic noninterference using JOANA. it Inf. Technol. Gregor Snelting, Dennis Giffhorn, Jürgen Graf, Christian Hammer, Martin Hecker, Martin Mohr, Daniel Wasserrab
2014	C	`conf`	Detecting Deadlock in Programs with Data-Centric Synchronization. Software Engineering Christian Hammer
2014	C	`conf`	Flexible Access Control for JavaScript. Software Engineering Christian Hammer
2014	—	`conf`	Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis. PLAS@ECOOP Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
2014	—	`conf`	Information Flow Control in WebKit's JavaScript Bytecode. POST Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
2014	J	`jnl`	Information Flow Control in WebKit's JavaScript Bytecode. CoRR Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
2013	A	`conf`	AppGuard - Enforcing User Requirements on Android Apps. TACAS Michael Backes, Sebastian Gerling, Christian Hammer, Matteo Maffei, Philipp von Styp-Rekowsky
2013	—	`conf`	AppGuard - Fine-Grained Policy Enforcement for Untrusted Android Applications. DPM/SETOP Michael Backes, Sebastian Gerling, Christian Hammer, Matteo Maffei, Philipp von Styp-Rekowsky
2013	A*	`conf`	Detecting deadlock in programs with data-centric synchronization. ICSE Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek
2013	A	`conf`	Flexible access control for javascript. OOPSLA Gregor Richards, Christian Hammer, Francesco Zappa Nardelli, Suresh Jagannathan, Jan Vitek
2013	—	`conf`	Idea: Callee-Site Rewriting of Sealed System Libraries. ESSoS Philipp von Styp-Rekowsky, Sebastian Gerling, Michael Backes, Christian Hammer
2012	J	`jnl`	A data-centric approach to synchronization. ACM Trans. Program. Lang. Syst. Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek
2011	B	`conf`	Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs. RV William N. Sumner, Christian Hammer, Julian Dolby
2011	A	`conf`	The Eval That Men Do - A Large-Scale Study of the Use of Eval in JavaScript Applications. ECOOP Gregor Richards, Christian Hammer, Brian Burg, Jan Vitek
2010	A	`conf`	A Type System for Data-Centric Synchronization. ECOOP Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek
2010	—	`conf`	Experiences with PDG-Based IFC. ESSoS Christian Hammer
2009	J	`jnl`	Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs. Int. J. Inf. Sec. Christian Hammer, Gregor Snelting
2009	—	`—`	Information flow control for Java: a comprehensive approach based on path conditions in dependence graphs. Christian Hammer
2009	J	`jnl`	Precise slicing of concurrent programs. Autom. Softw. Eng. Dennis Giffhorn, Christian Hammer
2008	A*	`conf`	Dynamic detection of atomic-set-serializability violations. ICSE Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip
2008	C	`conf`	Precise Analysis of Java Programs Using JOANA. SCAM Dennis Giffhorn, Christian Hammer
2008	—	`conf`	Static path conditions for Java. PLAS Christian Hammer, Rüdiger Schaade, Gregor Snelting
2007	C	`conf`	An Evaluation of Slicing Algorithms for Concurrent Programs. SCAM Dennis Giffhorn, Christian Hammer
2006	C	`conf`	Dynamic path conditions in dependence graphs. PEPM Christian Hammer, Martin Grimme, Jens Krinke
2006	—	`conf`	Information Flow Control for Java Based on Path Conditions in Dependence Graphs. ISSSE Christian Hammer, Jens Krinke, Gregor Snelting
2006	C	`conf`	Intransitive Noninterference in Dependence Graphs. ISoLA Christian Hammer, Jens Krinke, Frank Nodes
2004	—	`conf`	An improved slicer for Java. PASTE Christian Hammer, Gregor Snelting