Simon Greiner

14 papers A 2B 3C 1Misc 1Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Behavioral interaction identification between safety and security features in safety-critical systems.
Comput. Secur.
Priyadarshini, Simon Greiner, Maike Massierer, Oum-El-Kheir Aktouf
2025 B conf
ULS: A Unified Likelihood Scale for Cross-Standard Risk Assessment.
SAFECOMP
Mohamed Abdelsalam, Simon Greiner, Oum-El-Kheir Aktouf, Annabelle Mercier
2024 C conf
Model-Based Security Analysis of Interconnected Subsystems: A Methodology for Security Compatibility Evaluation.
PST
Mohamed Abdelsalam, Isaac Mpidi Bita, Simon Greiner, Oum-El-Kheir Aktouf, Annabelle Mercier
2024 Misc conf
Software architecture based inter-feature analysis of safety and security interactions.
EDCC
Priyadarshini, Simon Greiner, Maike Massierer, Oum-El-Kheir Aktouf
2023 — conf
C-TAR: A Compositional Threat Analysis and Risk Assessment Method for Infrastructure-Based Autonomous Driving.
ESORICS Workshops (2)
Mohamed Abdelsalam, Simon Greiner, Oum-El-Kheir Aktouf, Annabelle Mercier
2023 A conf
Feature-based software architecture analysis to identify safety and security interactions.
ICSA
Priyadarshini, Simon Greiner, Maike Massierer, Oum-El-Kheir Aktouf
2019 — conf
Compositionality of Component Fault Trees.
IMBSA
Simon Greiner, Peter Munk, Arne Nordmann
2019 J jnl
Proof of Compositionality of CFT Correctness.
CoRR
Simon Greiner, Peter Munk, Arne Nordmann
2018 — —
A Framework for Non-Interference in Component-Based Systems.
Simon Greiner
2017 B conf
Modular Verification of Information Flow Security in Component-Based Systems.
SEFM
Simon Greiner, Martin Mohr, Bernhard Beckert
2016 — ch.
Information Flow Analysis.
Deductive Software Verification
Christoph Scheben, Simon Greiner
2016 A conf
Non-interference with What-Declassification in Component-Based Systems.
CSF
Simon Greiner, Daniel Grahl
2014 J jnl
Proving Correctness and Security of Two-Party Computation Implemented in Java in Presence of a Semi-Honest Sender.
IACR Cryptol. ePrint Arch.
Florian Böhl, Simon Greiner, Patrik Scheidecker
2014 B conf
Proving Correctness and Security of Two-Party Computation Implemented in Java in Presence of a Semi-honest Sender.
CANS
Florian Böhl, Simon Greiner, Patrik Scheidecker