Robert Künnemann

According to our database, Robert Künnemann authored at least 31 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Computationally Bounded Robust Compilation and Universally Composable Security.

Robert Künnemann, Marco Patrignani, Ethan Cecchetti

CoRR, 2024

2023

Pareto-optimal Defenses for the Web Infrastructure: Theory and Practice.

Giorgio Di Tizio, Patrick Speicher, Milivoj Simeonovski, Michael Backes, Ben Stock, Robert Künnemann

ACM Trans. Priv. Secur., May, 2023

Automated Security Analysis of Exposure Notification Systems.

Kevin Morio, Ilkan Esiyok, Dennis Jackson, Robert Künnemann

Proceedings of the 32nd USENIX Security Symposium, 2023

Accountable Javascript Code Delivery.

Ilkan Esiyok, Pascal Berrang, Katriel Cohn-Gordon, Robert Künnemann

Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023

CryptoBap: A Binary Analysis Platform for Cryptographic Protocols.

Faezeh Nasrabadi, Robert Künnemann, Hamed Nemati

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

Lifted Stackelberg Planning.

Philipp Sauer, Marcel Steinmetz, Robert Künnemann, Jörg Hoffmann

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2022

Sapic+: protocol verifiers of the world, unite!

Vincent Cheval, Charlie Jacomme, Steve Kremer, Robert Künnemann

IACR Cryptol. ePrint Arch., 2022

2021

Verifying Accountability for Unbounded Sets of Participants.

Kevin Morio, Robert Künnemann

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

Accountability in the Decentralised-Adversary Setting.

Robert Künnemann, Deepak Garg, Michael Backes

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

On the Soundness of Infrastructure Adversaries.

Alexander Dax, Robert Künnemann

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

Faster Stackelberg Planning via Symbolic Search and Information Sharing.

Álvaro Torralba, Patrick Speicher, Robert Künnemann, Marcel Steinmetz, Jörg Hoffmann

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

MAC-in-the-Box: Verifying a Minimalistic Hardware Design for MAC Computation.

Robert Künnemann, Hamed Nemati

Proceedings of the Computer Security - ESORICS 2020, 2020

Short Paper: Modular Black-box Runtime Verification of Security Protocols.

Kevin Morio, Dennis Jackson, Marco Vassena, Robert Künnemann

Proceedings of the PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, 2020

TrollThrottle - Raising the Cost of Astroturfing.

Ilkan Esiyok, Lucjan Hanzlik, Robert Künnemann, Lena Marie Budde, Michael Backes

Proceedings of the Applied Cryptography and Network Security, 2020

2019

How to wrap it up - A formally verified proposal for the use of authenticated wrapping in PKCS\#11.

Alexander Dax, Robert Künnemann, Sven Tangermann, Michael Backes

IACR Cryptol. ePrint Arch., 2019

Causality & Control Flow.

Robert Künnemann, Deepak Garg, Michael Backes

Proceedings of the 4th Workshop on Formal Reasoning about Causation, 2019

Universal Composability is Secure Compilation.

Marco Patrignani, Riad S. Wahby, Robert Künnemann

CoRR, 2019

Towards automated network mitigation analysis.

Patrick Speicher, Marcel Steinmetz, Jörg Hoffmann, Michael Backes, Robert Künnemann

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Automated Verification of Accountability in Security Protocols.

Robert Künnemann, Ilkan Esiyok, Michael Backes

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

2018

Accountability in Security Protocols.

Robert Künnemann, Deepak Garg, Michael Backes

IACR Cryptol. ePrint Arch., 2018

Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure.

Patrick Speicher, Marcel Steinmetz, Robert Künnemann, Milivoj Simeonovski, Giancarlo Pellegrino, Jörg Hoffmann, Michael Backes

Proceedings of the 2018 IEEE European Symposium on Security and Privacy, 2018

Stackelberg Planning: Towards Effective Leader-Follower State Space Search.

Patrick Speicher, Marcel Steinmetz, Michael Backes, Jörg Hoffmann, Robert Künnemann

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Sufficient and necessary causation are dual.

Robert Künnemann

CoRR, 2017

Simulated Penetration Testing and Mitigation Analysis.

Michael Backes, Jörg Hoffmann, Robert Künnemann, Patrick Speicher, Marcel Steinmetz

CoRR, 2017

A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and Its Application to Fair Exchange.

Michael Backes, Jannik Dreier, Steve Kremer, Robert Künnemann

Proceedings of the 2017 IEEE European Symposium on Security and Privacy, 2017

2016

Automated analysis of security protocols with global state.

Steve Kremer, Robert Künnemann

J. Comput. Secur., 2016

Computational Soundness for Dalvik Bytecode.

Michael Backes, Robert Künnemann, Esfandiar Mohammadi

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015

Automated Backward Analysis of PKCS#11 v2.20.

Robert Künnemann

Proceedings of the Principles of Security and Trust - 4th International Conference, 2015

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

PhD thesis, 2014

2012

Universally Composable Key-Management.

Steve Kremer, Robert Künnemann, Graham Steel

IACR Cryptol. ePrint Arch., 2012

YubiSecure? Formal Security Analysis Results for the Yubikey and YubiHSM.

Robert Künnemann, Graham Steel

Proceedings of the Security and Trust Management - 8th International Workshop, 2012