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.