 |
Christian HammerJuniorprof. Dr.-Ing.
|
Research Interests
Language-based Security, Information Flow Control, Inline Reference Monitors, Web Security, Concurrent Programming
Projects
- We recently developed the first information flow control algorithm for full JavaScript.
- 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.
Short CV
| 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. |
Upcoming Events
- ACM SAC 2013, PC member PL track
- ICSM ERA 2012, PC member
- JSTools Workshop @ ECOOP, Organizer
- WEB 2.0 SECURITY & PRIVACY 2012, PC member
Teaching
Summer Term 2012
- Lecture: Secure Information Flow
- Seminar: Hot Topics in Security & Privacy
Publications
A list of my publications can be found here.
Other Professional Activities
An overview of my other professional activities can be found here.