5 citations · 8 across the 3 of their papers we have counts for
5 papers
Automated Security Analysis of Exposure Notification Systems
Kevin Morio, Ilkan Esiyok, Dennis Jackson +1
We present the first formal analysis and comparison of the security of the two most widely deployed exposure notification systems, ROBERT and the Google and Apple Exposure Notifica…
On the Soundness of Infrastructure Adversaries
Alexander Dax, Robert Künnemann
Companies and network operators perform risk assessment to inform policy-making, guide infrastructure investments or to comply with security standards such as ISO 27001. Due to the…
Causality & Control Flow
Robert Künnemann, Deepak Garg, Michael Backes
Causality has been the issue of philosophic debate since Hippocrates. It is used in formal verification and testing, e.g., to explain counterexamples or construct fault trees. Rece…
Automated Verification of Accountability in Security Protocols
Robert Künnemann, Ilkan Esiyok, Michael Backes
Accountability is a recent paradigm in security protocol design which aims to eliminate traditional trust assumptions on parties and hold them accountable for their misbehavior. It…
Sufficient and necessary causation are dual
Robert Künnemann
Causation has been the issue of philosophic debate since Hippocrates. Recent work defines actual causation in terms of Pearl/Halpern's causality framework, formalizing necessary ca…