Robert Künnemann

ORCID

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 36

Top Venues

CoRR

CSF

IACR Cryptol. ePrint Arch.

EuroS&P

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications

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

Robert Künnemann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Robert Künnemann