Simon Greiner
Simon Greiner
Bestätigte E-Mail-Adresse bei de.bosch.com
Titel
Zitiert von
Zitiert von
Jahr
Non-interference with what-declassification in component-based systems
S Greiner, D Grahl
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 253-267, 2016
172016
Privacy protection in an electronic chronicle system
S Greiner, J Yang
Proc. 34th Ann. IEEE Northeast Bioeng. Conf, 2008
92008
Modular verification of information flow security in component-based systems
S Greiner, M Mohr, B Beckert
International Conference on Software Engineering and Formal Methods, 300-315, 2017
82017
Information flow analysis
C Scheben, S Greiner
Deductive Software Verification–The KeY Book, 453-471, 2016
82016
Privacy-preserving surveillance: an interdisciplinary approach
P Birnstill, S Bretthauer, S Greiner, E Krempel
International Data Privacy Law 5 (4), 298-308, 2015
72015
Privacy preserving surveillance and the tracking paradox
S Greiner, P Birnstill, E Krempel, B Beckert, J Beyerer
Proceedings, Future Security Conference, 15-19, 2013
62013
KeY quicktour for JML
C Engel, A Roth, A Blome, R Bubel, S Greiner
www. key-project. org, 2006
62006
Rifl 1.1: A common specification language for information-flow requirements
T Bauereiß, S Greiner, M Herda, M Kirsten, X Li, H Mantel, M Mohr, ...
Technical Report TUD-CS-2017-0225, TU Darmstadt, 2017
42017
CoCoME with Securitys
S Greiner, M Herda
KIT, 2017
42017
Poster: Security in e-voting
D Bruns, HQ Do, S Greiner, M Herda, M Mohr, E Scapin, T Truderung, ...
36th IEEE Symposium on Security and Privacy (S & P 2015), Poster Session, 2015
42015
Compositionality of component fault trees
S Greiner, P Munk, A Nordmann
International Symposium on Model-Based Safety and Assessment, 125-140, 2019
22019
Proving correctness and security of two-party computation implemented in Java in presence of a semi-honest sender
F Böhl, S Greiner, P Scheidecker
International Conference on Cryptology and Network Security, 175-190, 2014
22014
A Framework for Non-Interference in Component-Based Systems.
S Greiner
Karlsruhe Institute of Technology, Germany, 2018
12018
Model-Driven Specification and Analysis of Confidentiality in Component-Based Systems
ME Kramer, M Hecker, S Greiner, K Bao, K Yurchenko
12017
Modular verification of information flow security in component-based systems - proofs and proof of concept
S Greiner, M Mohr, B Beckert
KIT, 2017
12017
Non-interference with what-declassification in component-based systems
D Grahl, S Greiner
KIT, 2015
12015
Proof of Compositionality of CFT Correctness
S Greiner, P Munk, A Nordmann
arXiv preprint arXiv:1907.09920, 2019
2019
Bedrohungsanalyse eines Smart-Home-Szenarios zur Visualisierung von Energieverbrauchsdaten im Vorfeld einer Steuerentscheidung
K Bao, A Hergenröder, C Haas, R Bless, D Dudek, M Zitterbart, ...
2014
ISSRE Industry Track Committees
R Amarnath, C Di Martino, L Bulwahn, D Reinhardt, P Duplys, C Huth, ...
Karlsruhe Reports in Informatics 2017, 12
ME Kramer, M Hecker, S Greiner, K Bao, K Yurchenko
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20