 |
 Dr. rer. nat. Simon Greiner |
|
|
Wiss. Mitarbeiter greinerFes0∂mail informatik kit edu |
|
|
Interests / Research
- Software Verification
- Information Flow Security
- Component-Based System Analysis
- Verification of Security properties
- Quality Assurance in Software Engineering
Current Projects
Kastel
|
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
|
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
| Title | Author(s) | Source |
|---|---|---|
| A Framework for Non-Interference in Component-Based Systems | Simon Greiner | Karlsruhe Institute of Technology (April 2018) |
| 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) |
| 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 |
| 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 |
| 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 |
| Title | Author(s) | Source |
|---|---|---|
| Wirtschaftlichkeit bei der Verbesserung von Systemspezifikationen durch UML-Modellierung | Thomas Lauscher Simon Greiner |
Signal und Draht 104(12) |
| 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
