Simon Greiner

According to our database1, Simon Greiner authored at least 10 papers between 2014 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Software architecture based inter-feature analysis of safety and security interactions.
Proceedings of the 19th European Dependable Computing Conference, 2024

2023
Feature-based software architecture analysis to identify safety and security interactions.
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.
Proceedings of the Computer Security. ESORICS 2023 International Workshops, 2023

2019
Proof of Compositionality of CFT Correctness.
CoRR, 2019

Compositionality of Component Fault Trees.
Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019

2018
A Framework for Non-Interference in Component-Based Systems.
PhD thesis, 2018

2017
Modular Verification of Information Flow Security in Component-Based Systems.
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

2016
Information Flow Analysis.
Proceedings of the Deductive Software Verification - The KeY Book, 2016

Non-interference with What-Declassification in Component-Based Systems.
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.
IACR Cryptol. ePrint Arch., 2014


  Loading...