Christian Haack
Digital Security Group,Computing Science Department,
University of Nijmegen,
Postbus 9010, 6500 GL Nijmegen,
The Netherlands.
Email: chaack@cs.ru.nl
|
|
Christian HaackDigital Security Group,Computing Science Department, University of Nijmegen, Postbus 9010, 6500 GL Nijmegen, The Netherlands. Email: chaack@cs.ru.nl |
Upcoming events: |
|
|
|
I have recently joined aicas realtime --- a company that produces Realtime Java technology.
Until then I was funded by the Mobius project, a European Integrated Project developing novel technologies for trustworthy global computing, focusing on the safety and security of Java applications for mobile phones and PDAs.
In January 2009, I have taught a course at the COST Winter School on Verification of Object-Oriented Programs in Estonia.
In 2007 and 2008, I have taught a course on Verification of Security Protocols, as part of a 2-year master track in computer security.
I have been working on verification techniques for multi-threaded Java programs, in particular on adapting concurrent separation logic to a Java-like setting. See our papers with Clement Hurlin and Marieke Huisman.
I have been working on pluggable type systems for specifying and checking object immutability in Java-like languages. I am particularly interested in type-based approaches that satisfactorily treat object initialization and encapsulated subobjects. See our papers with Erik Poll, Jan Schäfer and Aleksy Schubert. The extended annotation syntax JSR 308 and the associated checker framework provide a great basis for implementing such type systems.
I have been working on type systems for cryptographic protocols. These enforce prudent design practices that suffice to ensure security properties like secrecy and authenticity. See the Cryptyc typechecker and our papers with Alan Jeffrey.
I have been working on techniques for accurately locating sources of type errors in implicitly typed programming languages. See our web demo and our papers with Joe Wells.
I received a Ph.D. degree from Kansas State University. My dissertation was about semantics-based adaptation of software components. My supervisor was Alley Stoughton.
Last modified: Oct 23, 2009
Christian Haack