Simon Greiner

According to our database, Simon Greiner authored at least 9 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Feature-based software architecture analysis to identify safety and security interactions.

Priyadarshini, Simon Greiner, Maike Massierer, Oum-El-Kheir Aktouf

Proceedings of the 20th IEEE International Conference on Software Architecture, 2023

C-TAR: A Compositional Threat Analysis and Risk Assessment Method for Infrastructure-Based Autonomous Driving.

Mohamed Abdelsalam, Simon Greiner, Oum-El-Kheir Aktouf, Annabelle Mercier

Proceedings of the Computer Security. ESORICS 2023 International Workshops, 2023

2019

Proof of Compositionality of CFT Correctness.

Simon Greiner, Peter Munk, Arne Nordmann

CoRR, 2019

Compositionality of Component Fault Trees.

Simon Greiner, Peter Munk, Arne Nordmann

Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019

2018

A Framework for Non-Interference in Component-Based Systems.

Simon Greiner

PhD thesis, 2018

2017

Modular Verification of Information Flow Security in Component-Based Systems.

Simon Greiner, Martin Mohr, Bernhard Beckert

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

2016

Information Flow Analysis.

Christoph Scheben, Simon Greiner

Proceedings of the Deductive Software Verification - The KeY Book, 2016

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

Simon Greiner, Daniel Grahl

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2014

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

IACR Cryptol. ePrint Arch., 2014