| 2025 | SAFECOMP | ULS: A Unified Likelihood Scale for Cross-Standard Risk Assessment. | Mohamed Abdelsalam, Simon Greiner, Oum-El-Kheir Aktouf, Annabelle Mercier |
| 2024 | EDCC | Software architecture based inter-feature analysis of safety and security interactions. | Priyadarshini, Simon Greiner, Maike Massierer, Oum-El-Kheir Aktouf |
| 2024 | PST | 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 |
| 2023 | ESORICS | 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 |
| 2023 | ICSA | Feature-based software architecture analysis to identify safety and security interactions. | Priyadarshini, Simon Greiner, Maike Massierer, Oum-El-Kheir Aktouf |
| 2017 | SEFM | Modular Verification of Information Flow Security in Component-Based Systems. | Simon Greiner, Martin Mohr, Bernhard Beckert |
| 2014 | CANS | Proving Correctness and Security of Two-Party Computation Implemented in Java in Presence of a Semi-honest Sender. | Florian Bhl, Simon Greiner, Patrik Scheidecker |