Simon Greiner

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 7

Top Topics

Information Flow

Secure Multi Party Computation

Software Architecture

Top Venues

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Priyadarshini, Simon Greiner, Maike Massierer, Oum-El-Kheir Aktouf
Software architecture based inter-feature analysis of safety and security interactions. EDCC (2024)
Mohamed Abdelsalam, Simon Greiner, Oum-El-Kheir Aktouf, Annabelle Mercier
C-TAR: A Compositional Threat Analysis and Risk Assessment Method for Infrastructure-Based Autonomous Driving. ESORICS Workshops (2) (2023)
Priyadarshini, Simon Greiner, Maike Massierer, Oum-El-Kheir Aktouf
Feature-based software architecture analysis to identify safety and security interactions. ICSA (2023)
Simon Greiner, Peter Munk, Arne Nordmann
Compositionality of Component Fault Trees. IMBSA (2019)
Simon Greiner, Peter Munk, Arne Nordmann
Proof of Compositionality of CFT Correctness. CoRR (2019)
Simon Greiner, Martin Mohr, Bernhard Beckert
Modular Verification of Information Flow Security in Component-Based Systems. SEFM (2017)
Simon Greiner, Daniel Grahl
Non-interference with What-Declassification in Component-Based Systems. CSF (2016)
Florian Böhl, Simon Greiner, Patrik Scheidecker
Proving Correctness and Security of Two-Party Computation Implemented in Java in Presence of a Semi-Honest Sender. IACR Cryptol. ePrint Arch. 2014 (2014)
Florian Böhl, Simon Greiner, Patrik Scheidecker
Proving Correctness and Security of Two-Party Computation Implemented in Java in Presence of a Semi-honest Sender. CANS (2014)