You are using an old browser with security vulnerabilities and can not use the features of this website.

Here you will see how you can easily upgrade your browser.


Please refer to the list of our publications. Currently, researchers at this group are involved in the following projects:

Previous projects

  • Atomic set serializability, a data-centric correctness criterion for concurrent programs (in collaboration with IBM Research). 
  • In the Dynamics of JavaScript project we investigated how JavaScript code behaves on realistic websites, in order to better understand how to design analyses for optimization and security.
  • RS³ (SPP 1496) Information flow control for browser components
  • SimoBA Securing JavaScript-based mobile business apps
  • SmartPriv(Mobile Security for Android)
  • Valsoft/Joana, information flow control for Java based on program slicing and path conditions.