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)

Non-interference with What-Declassification in Component-Based Systems. - Simon Greiner; Daniel Grahl (CSF, 2016)

Information Flow Analysis. - Christoph Scheben; Simon Greiner (Deductive Software Verification, 2016)

Modular Verification of Information Flow Security in Component-Based Systems. - Simon Greiner; Martin Mohr; Bernhard Beckert (SEFM, 2017)

A Framework for Non-Interference in Component-Based Systems. - Simon Greiner (2018)

Compositionality of Component Fault Trees. - Simon Greiner; Peter Munk; Arne Nordmann (IMBSA, 2019)

Proof of Compositionality of CFT Correctness. - Simon Greiner; Peter Munk; Arne Nordmann (CoRR, 2019)

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 (ESORICS Workshops (2), 2023)

Feature-based software architecture analysis to identify safety and security interactions. - Priyadarshini; Simon Greiner; Maike Massierer; Oum-El-Kheir Aktouf (ICSA, 2023)

Software architecture based inter-feature analysis of safety and security interactions. - Priyadarshini; Simon Greiner; Maike Massierer; Oum-El-Kheir Aktouf (EDCC, 2024)

Model-Based Security Analysis of Interconnected Subsystems: A Methodology for Security Compatibility Evaluation. - Mohamed Abdelsalam; Isaac Mpidi Bita; Simon Greiner; Oum-El-Kheir Aktouf; Annabelle Mercier (PST, 2024)