Quicklinks
Decorative photo of one of the top-corners of the CISPA building
Portrait of Person: Robert Künnemann

Robert Künnemann (Postdoc)
 
 Campus E9 1 | 66123 Saarbrücken | 2.12

Publications:

Title Date Date Meta
Stackelberg Planning: Towards Effective Leader-Follower State Space Search 2018  2018   Patrick Speicher, Marcel Steinmetz, Michael Backes, Jörg Hoffmann, Robert Künnemann  The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18)
Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure 2018  2018   Patrick Speicher, Marcel Steinmetz, Robert Künnemann, Milivoj Simeonovski, Giancarlo Pellegrino, Jörg Hoffmann, Michael Backes  2018 IEEE European Symposium on Security and Privacy, EuroS&P 2018, London, United Kingdom, April 24-26, 2018
Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure (full version) [TechReport] 2018  2018   Patrick Speicher, Marcel Steinmetz, Robert Künnemann, Milivoj Simeonovski, Giancarlo Pellegrino, Jörg Hoffmann, Michael Backes
A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and its Application to Fair Exchange 2017  2017   Michael Backes, Jannik Dreier, Steve Kremer, Robert Künnemann  Proceedings of the 2nd IEEE European Symposium on Security and Privacy (Euro S&P '17)
Automated analysis of security protocols with global state 2016  2016   Steve Kremer, Robert Künnemann
Computational Soundness for Dalvik Bytecode 2016  2016   Michael Backes, Robert Künnemann, Esfandiar Mohammadi  Proceedings of the 23rd ACM Conference on Computer and Communications Security (CCS'16)