Christian Hammer

Juniorprof. Dr.-Ing.

Contact
Tel		+49 681 302-5484
Fax		+49 681 302-5483
Mail
Room		222.1
Address		CISPA Campus E1.1 66123 Saarbrücken Germany
Office hours		Tue 14-15

Faculty contact of the EIT ICT International Master on Security and Privacy. You can find local information here.

Research Interests

Language-based Security, Information Flow Control, Inline Reference Monitors, Mobile Security, Web Security, Concurrent Programming

2013-01-18: I am co-organizing a workshop on Tools for JavaScript Analysis. Please consider submitting a paper or giving a talk.
2012-12-14: Our tool paper AppGuard - Enforcing User Requirements on Android Apps has been accepted for publication at the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13)
2012-11-29: Our idea paper on Callee-site Rewriting of Sealed System Libraries for Android has been accepted for publication at the International Symposium on Engineering Secure Software and Systems (ESSoS'13)
2012-11-20: Our paper on Detecting Deadlock in Programs with Data-Centric Synchronization has been accepted for publication at the International Conference of Software Engineering (ICSE'13)
2012-09-17: Christian Hammer is awarded a DFG grant on Information Flow Control for Browser Clients

We recently developed the first information flow control algorithm for full JavaScript.
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)
In the Dynamics of JavaScript project we investigate how JavaScript code behaves on realistic websites, in order to better understand how to design analyses for optimization and security.
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.

A list of my publications can be found here.

An overview of my other professional activities can be found here.