Home  |  Legals  |  Privacy Policy  |  Sitemap  |  KIT
Simon Greiner

Dr. rer. nat. Simon Greiner

Wiss. Mitarbeiter



greinerFes0∂ira uka de

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

Kastel

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.

KeY

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.

Publications

2018
Title Author(s) Source
A Framework for Non-Interference in Component-Based Systems Simon Greiner Karlsruhe Institute of Technology (April 2018)
2017
Title Author(s) Source
Model-Driven Specification and Analysis of Confidentiality in Component-Based Systems Max E. Kramer
Martin Hecker
Simon Greiner
Kaibin Bao
Kateryna Yurchenko
Department of Informatics, Karlsruhe Institute of Technology 2017,12
Modular Verification of Information Flow Security in Component-Based Systems Simon 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 Requirements Thomas 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 Concept Simon Greiner
Martin Mohr
Bernhard Beckert
Department of Informatics, Karlsruhe Institute of Technology 2017,9
CoCoME with Security Simon Greiner
Mihai Herda
Department of Informatics, Karlsruhe Institute of Technology 2017,2
2016
Title Author(s) Source
Information Flow Analysis Christoph 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 Systems Simon Greiner
Daniel Grahl
29th IEEE Computer Security Foundations Symposium (CSF 2016)
2015
Title Author(s) Source
Non-Interference with What-Declassification in Component-Based Systems Daniel Grahl
Simon Greiner
Department of Informatics, Karlsruhe Institute of Technology 2015,10
Privacy Preserving Surveillance: An Interdisciplinary Approach Pascal Birnstill
Sebastian Bretthauer
Simon Greiner
Erik Krempel
International Data Privacy Law 5(4)
Poster: Security in E-Voting Daniel 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
2014
Title Author(s) Source
Proving Correctness and Security of Two-Party Computation Implemented in Java in Presence of a Semi-honest Sender Florian Böhl
Simon Greiner
Patrik Scheidecker
13th International Conference on Cryptology and Network Security (CANS 2014)
Bedrohungsanalyse eines Smart-Home-Szenarios zur Visualisierung von Energieverbrauchsdaten im Vorfeld einer Steuerentscheidung Anton Hergenröder
Christian Haas
Roland Bless
Denise Dudek
Martina Zitterbart
Thomas Bräuchle
Oliver Raabe
Simon Greiner
Bernhard Beckert
Kaibin Bao
Hartmut Schmeck
Institute of Telematics, Karlsruhe Institute of Technology TM-2014-1
Poster: Specification and Verification of Confidentiality in Component-Based Systems Max E. Kramer
Anton Hergenröder
Martin Hecker
Simon Greiner
Kaibin Bao
35th IEEE Symposium on Security and Privacy, Poster Reception
2013
Title Author(s) Source
Privacy Preserving Surveillance and the Tracking-Paradox Simon Greiner
Pascal Birnstill
Erik Krempel
Bernhard Beckert
Jürgen Beyerer
8th Security Research Conference on Future Security
2012
Title Author(s) Source
Wirtschaftlichkeit bei der Verbesserung von Systemspezifikationen durch UML-Modellierung Thomas Lauscher
Simon Greiner
Signal und Draht 104(12)
2008
Title Author(s) Source
Privacy Protection in an Electronic Chronicle System Simon Greiner
Jie Yang
34th Annual IEEE Northeast Bioengineering Conference (NEBEC 2008)

Interesting Links