Simon Greiner

Poster : Security in E-Voting

Ralf Küsters, H. Mantel, Bernhard Beckert, 2015 .

PRESERVING SURVEILLANCE AND THE TRACKING-PARADOX

J. Beyerer, Bernhard Beckert, Pascal Birnstill, 2013 .

RIFL 1.1: A Common Specification Language for Information-Flow Requirements

Heiko Mantel, Mihai Herda, Simon Greiner, 2017 .

Proving Correctness and Security of Two-Party Computation Implemented in Java in Presence of a Semi-honest Sender

Simon Greiner, Florian Böhl, Patrik Scheidecker, 2014, CANS.

A Framework for Non-Interference in Component-Based Systems

Simon Greiner, Simon Greiner, 2018 .

Experimental

Simon Greiner, 2020, Novel Decavanadate Compounds for Lithium-Ion Batteries.

Non-interference with What-Declassification in Component-Based Systems

Daniel Grahl, Simon Greiner, Simon Greiner, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).

Modular Verification of Information Flow Security in Component-Based Systems

Bernhard Beckert, Simon Greiner, Martin Mohr, 2017, SEFM.