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

• MORFEUS "Methods and tools for the construction of resilience using self-reconfiguration and monitoring for embedded and distributed systems" – funded by BMBF

• 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.
• Programming Principles and Abstractions for Privacy (CRC 1223) 
• 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.