Bitte beachten Sie auch unsere Veröffentlichungen. Derzeit sind Wissenschaftlerinnen und Wissenschaftler des Lehrstuhls in folgenden Drittmittel-Projekten involviert:

Mit folgende Projekte beschäftigte sich Prof. Hammer zusammen mit Kolleginnen und Kollegen bzw. wissenschaftlichen Mitarbeitenden (in alphabetischer Reihenfolge):

• Atomic set serializability, ein datenzentriertes Korrektheitskriterium für nebenläufige Programme (in Kollaboration mit IBM Research). 
• Im Projekt Dynamics of JavaScript untersuchten wir, wie  JavaScript Code sich auf realistischen Webseiten verhält, um das Design von Analysen zur Optimierung und Sicherheit besser zu verstehen.
• MORFEUS "Methoden und Werkzeuge zur Erzeugung von Resilienz mittels Selbstrekonfiguration und -überwachung für eingebettete und verteilte Systeme", gefördert vom BMBF.
• DFG Sonderforschungsbereich "Programming Principles and Abstractions for Privacy" (SFB 1223) – Principal Investigator der Teilprojekte B01 "Privacy Enforcement for Third-Party Software" und B02 "Programming Principles and Abstractions for Privacy"
• DFG Schwerpunktprogramm RS³ (SPP 1496) – Projekt: Informationsflusskontrolle für Browserkomponenten
• SimoBA Absicherung von JavaScript-basierten mobilen Business-Apps, gefördert vom BMBF.
• SmartPriv Android-Sicherheit, gefördert vom BMBF.
• Valsoft/Joana, Informationsflusskontrolle für Java basierend auf Program Slicing und Pfadbedingungen