Christian HammerJuniorprof. Dr.-Ing.
Language-based Security, Information Flow Control, Inline Reference Monitors, Mobile Security, Web Security, Concurrent Programming
- Our paper Boxify: Full-fledged App Sandboxing for Stock Android was accepted for publication at the 24th USENIX Security Symposium
- Our paper Fine-Grained Information Flow Control for Event Handling and the DOM was accepted for publication at the 28th IEEE Computer Security Foundations Symposium (CSF'15)
- Our paper Learning how to Prevent Return-Oriented Programming Efficiently was presented at the International Symposium on Engineering Secure Software and Systems (ESSoS'15)
- Android security: real-time policy enforcement for third-party applications.
- Atomic-set-serializability, a data-centric correctness criterion for concurrent programs (in collaboration with IBM Research)
- VALSOFT/Joana, information flow control based on program slicing and path conditions.
|since 2012||Juniorprofessor at CISPA of Saarland University|
|Jul-Dec 2011||Assistant professor at Utah State University|
|2009–2011||Post-Doc at Purdue University in the Secure Software Systems group|
|2009||Dr.-Ing. Universität Karlsruhe|
Thesis title: Information Flow Control for Java – A Comprehensive Approach based on Path Conditions in Dependence Graphs.
- ISSTA 2016, Co-Chair Demo Track, PC Member
- ESOP 2016, PC Member
- PLAS 2015, PC Member
- ECOOP 2015, PC member
My previous professional activities can be found here.
Winter Term 2014/2015
Summer Term 2014
- Lecture: Secure Information Flow
Summer Term 2013
Winter Term 2012/2013
- Core Lecture: Security (together with Michael Backes and Matteo Maffei)
Summer Term 2012
A list of my publications can be found here.