Robert Künnemann

52 papers A* 10A 10Misc 1Journal 24Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Automated Side-Channel Analysis of Cryptographic Protocol Implementations.
CoRR
Faezeh Nasrabadi, Robert Künnemann, Hamed Nemati
2025 A conf
Symbolic Parallel Composition for Multi-language Protocol Verification.
CSF
Faezeh Nasrabadi, Robert Künnemann, Hamed Nemati
2025 J jnl
Symbolic Parallel Composition for Multi-language Protocol Verification.
CoRR
Faezeh Nasrabadi, Robert Künnemann, Hamed Nemati
2024 J jnl
Adaptive Exploit Generation against Security Devices and Security APIs.
CoRR
Robert Künnemann, Julian Biehl
2024 A conf
Computationally Bounded Robust Compilation and Universally Composable Security.
CSF
Robert Künnemann, Marco Patrignani, Ethan Cecchetti
2024 J jnl
Computationally Bounded Robust Compilation and Universally Composable Security.
CoRR
Robert Künnemann, Marco Patrignani, Ethan Cecchetti
2024 A* conf
SpecMon: Modular Black-Box Runtime Monitoring of Security Protocols.
CCS
Kevin Morio, Robert Künnemann
2024 J jnl
SpecMon: Modular Black-Box Runtime Monitoring of Security Protocols.
CoRR
Kevin Morio, Robert Künnemann
2024 J jnl
Universal Composability Is Robust Compilation.
ACM Trans. Program. Lang. Syst.
Marco Patrignani, Robert Künnemann, Riad S. Wahby, Ethan Cecchetti
2023 A* conf
Accountable Javascript Code Delivery.
NDSS
Ilkan Esiyok, Pascal Berrang, Katriel Cohn-Gordon, Robert Künnemann
2023 A* conf
Automated Security Analysis of Exposure Notification Systems.
USENIX Security Symposium
Kevin Morio, Ilkan Esiyok, Dennis Jackson, Robert Künnemann
2023 A* conf
CryptoBap: A Binary Analysis Platform for Cryptographic Protocols.
CCS
Faezeh Nasrabadi, Robert Künnemann, Hamed Nemati
2023 J jnl
CryptoBap: A Binary Analysis Platform for Cryptographic Protocols.
CoRR
Faezeh Nasrabadi, Robert Künnemann, Hamed Nemati
2023 A* conf
Lifted Stackelberg Planning.
ICAPS
Philipp Sauer, Marcel Steinmetz, Robert Künnemann, Jörg Hoffmann
2023 J jnl
Pareto-optimal Defenses for the Web Infrastructure: Theory and Practice.
ACM Trans. Priv. Secur.
Giorgio Di Tizio, Patrick Speicher, Milivoj Simeonovski, Michael Backes, Ben Stock, Robert Künnemann
2022 J jnl
Accountable Javascript Code Delivery.
CoRR
Ilkan Esiyok, Robert Künnemann, Pascal Berrang, Katriel Cohn-Gordon
2022 J jnl
Automated Security Analysis of Exposure Notification Systems.
CoRR
Kevin Morio, Ilkan Esiyok, Dennis Jackson, Robert Künnemann
2022 A* conf
SAPIC+: protocol verifiers of the world, unite!
USENIX Security Symposium
Vincent Cheval, Charlie Jacomme, Steve Kremer, Robert Künnemann
2022 J jnl
Sapic+: protocol verifiers of the world, unite!
IACR Cryptol. ePrint Arch.
Vincent Cheval, Charlie Jacomme, Steve Kremer, Robert Künnemann
2021 A conf
Accountability in the Decentralised-Adversary Setting.
CSF
Robert Künnemann, Deepak Garg, Michael Backes
2021 A* conf
Faster Stackelberg Planning via Symbolic Search and Information Sharing.
AAAI
Álvaro Torralba, Patrick Speicher, Robert Künnemann, Marcel Steinmetz, Jörg Hoffmann
2021 A conf
On the Soundness of Infrastructure Adversaries.
CSF
Alexander Dax, Robert Künnemann
2021 J jnl
On the Soundness of Infrastructure Adversaries.
CoRR
Alexander Dax, Robert Künnemann
2021 A conf
Verifying Accountability for Unbounded Sets of Participants.
CSF
Kevin Morio, Robert Künnemann
2020 — conf
MAC-in-the-Box: Verifying a Minimalistic Hardware Design for MAC Computation.
ESORICS (2)
Robert Künnemann, Hamed Nemati
2020 — conf
Short Paper: Modular Black-box Runtime Verification of Security Protocols.
PLAS@CCS
Kevin Morio, Dennis Jackson, Marco Vassena, Robert Künnemann
2020 — conf
TrollThrottle - Raising the Cost of Astroturfing.
ACNS (2)
Ilkan Esiyok, Lucjan Hanzlik, Robert Künnemann, Lena Marie Budde, Michael Backes
2020 J jnl
Trollthrottle - Raising the Cost of Astroturfing.
CoRR
Ilkan Esiyok, Lucjan Hanzlik, Robert Künnemann, Lena Marie Budde, Michael Backes
2020 J jnl
Verifying Accountability for Unbounded Sets of Participants.
CoRR
Kevin Morio, Robert Künnemann
2019 A conf
Automated Verification of Accountability in Security Protocols.
CSF
Robert Künnemann, Ilkan Esiyok, Michael Backes
2019 — conf
Causality & Control Flow.
CREST
Robert Künnemann, Deepak Garg, Michael Backes
2019 A conf
How to Wrap it up - A Formally Verified Proposal for the use of Authenticated Wrapping in PKCS#11.
CSF
Alexander Dax, Robert Künnemann, Sven Tangermann, Michael Backes
2019 J jnl
How to wrap it up - A formally verified proposal for the use of authenticated wrapping in PKCS\#11.
IACR Cryptol. ePrint Arch.
Alexander Dax, Robert Künnemann, Sven Tangermann, Michael Backes
2019 Misc conf
Towards automated network mitigation analysis.
SAC
Patrick Speicher, Marcel Steinmetz, Jörg Hoffmann, Michael Backes, Robert Künnemann
2019 J jnl
Universal Composability is Secure Compilation.
CoRR
Marco Patrignani, Riad S. Wahby, Robert Künnemann
2018 J jnl
Accountability in Security Protocols.
IACR Cryptol. ePrint Arch.
Robert Künnemann, Deepak Garg, Michael Backes
2018 J jnl
Automated Verification of Accountability in Security Protocols.
CoRR
Robert Künnemann, Ilkan Esiyok, Michael Backes
2018 A conf
Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure.
EuroS&P
Patrick Speicher, Marcel Steinmetz, Robert Künnemann, Milivoj Simeonovski, Giancarlo Pellegrino, Jörg Hoffmann, Michael Backes
2018 A* conf
Stackelberg Planning: Towards Effective Leader-Follower State Space Search.
AAAI
Patrick Speicher, Marcel Steinmetz, Michael Backes, Jörg Hoffmann, Robert Künnemann
2017 A conf
A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and Its Application to Fair Exchange.
EuroS&P
Michael Backes, Jannik Dreier, Steve Kremer, Robert Künnemann
2017 J jnl
Simulated Penetration Testing and Mitigation Analysis.
CoRR
Michael Backes, Jörg Hoffmann, Robert Künnemann, Patrick Speicher, Marcel Steinmetz
2017 J jnl
Sufficient and necessary causation are dual.
CoRR
Robert Künnemann
2016 J jnl
Automated analysis of security protocols with global state.
J. Comput. Secur.
Steve Kremer, Robert Künnemann
2016 A* conf
Computational Soundness for Dalvik Bytecode.
CCS
Michael Backes, Robert Künnemann, Esfandiar Mohammadi
2016 J jnl
Computational Soundness for Dalvik Bytecode.
CoRR
Michael Backes, Robert Künnemann, Esfandiar Mohammadi
2015 — conf
Automated Backward Analysis of PKCS#11 v2.20.
POST
Robert Künnemann
2014 A* conf
Automated Analysis of Security Protocols with Global State.
IEEE Symposium on Security and Privacy
Steve Kremer, Robert Künnemann
2014 J jnl
Automated analysis of security protocols with global state.
CoRR
Steve Kremer, Robert Künnemann
2014 — —
Foundations for analyzing security APIs in the symbolic and computational model. (Fondations d'analyse de APIs de sécurité dans le modèle symbolique et calculatoire).
Robert Künnemann
2013 A conf
Universally Composable Key-Management.
ESORICS
Steve Kremer, Robert Künnemann, Graham Steel
2012 J jnl
Universally Composable Key-Management.
IACR Cryptol. ePrint Arch.
Steve Kremer, Robert Künnemann, Graham Steel
2012 — conf
YubiSecure? Formal Security Analysis Results for the Yubikey and YubiHSM.
STM
Robert Künnemann, Graham Steel