Simon Greiner Dipl.-Inform. Simon Greiner
Wiss. Mitarbeiter
Raum: 226
Tel.: + 49 721 608 47318
Fax: + 49 721 608 43088
simon greinerFes0∂kit edu

Am Fasanengarten 5, Gebäude 50.34

Interests / Research

  • Software Verification
  • Information Flow Security
  • Component-Based System Analysis
  • Verification of Security properties
  • Quality Assurance in Software Engineering

Current Projects


Kompetenzzentrum für angewandte Sicherheitstechnologie

The main topics intelligent infrastructure, cloud computing and public security challenge the IT security of the future. In addition to the classical term of security one has to deal with threats from the inside as well. It is not enough anymore only to look at security issues of system components. We have to focus on transdisciplinary methods. The Kompetenzzentrum für Angewandte Sicherheits-TEchnoLogie (KASTEL) is a research center for cyber security and combine several areas of IT security and their users.


Kompetenzzentrum für angewandte Sicherheitstechnologie

The KeY System is a formal software development tool that aims to integrate design, implementation, formal specification, and formal verification of object-oriented software as seamlessly as possible. At the core of the system is a novel theorem prover for the first-order Dynamic Logic for Java with a user-friendly graphical interface.

The project was started in November 1998 at the University of Karlsruhe. It is now a joint project of KIT, Chalmers University of Technology, Gothenburg, and TU Darmstadt. The KeY tool is available for download.


Title Author(s) Source
Modular Verification of Information Flow Security in Component-Based SystemsSimon Greiner
Martin Mohr
Bernhard Beckert
15th International Conference on Software Engineering and Formal Methods (SEFM 2017)
RIFL 1.1: A Common Specification Language for Information-Flow RequirementsThomas Bauereiß
Simon Greiner
Mihai Herda
Michael Kirsten
Ximeng Li
Heiko Mantel
Martin Mohr
Matthias Perner
David Schneider
Markus Tasch
TU Darmstadt TUD-CS-2017-0225
Modular Verification of Information Flow Security in Component-Based Systems – Proofs and Proof of ConceptSimon Greiner
Martin Mohr
Bernhard Beckert
Department of Informatics, Karlsruhe Institute of Technology 2017,9
CoCoME with SecuritySimon Greiner
Mihai Herda
Karlsruhe Institute of Technology, Faculty of Informatics
Title Author(s) Source
Information Flow AnalysisChristoph Scheben
Simon Greiner
Deductive Software Verification - The KeY Book: From Theory to Practice, Part III: From Verification to Analysis
Non-Interference with What-Declassification in Component-Based SystemsSimon Greiner
Daniel Grahl
29th IEEE Computer Security Foundations Symposium (CSF 2016)
Title Author(s) Source
Non-Interference with What-Declassification in Component-Based SystemsDaniel Grahl
Simon Greiner
Department of Informatics, Karlsruhe Institute of Technology 2015,10
Privacy Preserving Surveillance: An Interdisciplinary ApproachPascal Birnstill
Sebastian Bretthauer
Simon Greiner
Erik Krempel
International Data Privacy Law 5(4)
Poster: Security in E-VotingDaniel Bruns
Huy Quoc Do
Simon Greiner
Mihai Herda
Martin Mohr
Enrico Scapin
Tomasz Truderung
Bernhard Beckert
Ralf Küsters
Heiko Mantel
Richard Gay
36th IEEE Symposium on Security and Privacy (S&P 2015), Poster Session
Title Author(s) Source
Proving Correctness and Security of Two-Party Computation Implemented in Java in Presence of a Semi-honest SenderFlorian Böhl
Simon Greiner
Patrik Scheidecker
13th International Conference on Cryptology and Network Security (CANS 2014)
Title Author(s) Source
Privacy Preserving Surveillance and the Tracking-ParadoxSimon Greiner
Pascal Birnstill
Erik Krempel
B. Beckert
Jürgen Beyerer
8th Future Security: Security Research Conference
Title Author(s) Source
Wirtschaftlichkeit bei der Verbesserung von Systemspezifikationen durch UML-ModellierungThomas Lauscher
Simon Greiner
Signal und Draht 104(12)

Interesting Links