Send email Copy Email Address

Email

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Further Information

Short Bio

Robert Künnemann obtained his Ph.D. from École normale supérieure de Cachan under the supervision of Steve Kremer and Graham Steel. He worked within the SECSI and PROSECCO teams at INRIA (Paris, France), interned at Cambridge University, UK and held positions at Technical University Darmstadt and Saarland University (Germany). Since 2019, he is a research group leader at CISPA. His specialties are protocol verification, accountability and infrastructure analysis. 

Publications by Robert Künnemann

Year 2020

Conference / Medium

ICAPS
System Demonstration at the 30th International Conference on Automated Planning and Scheduling (ICAPS'20)System Demonstration at the 30th International Conference on Automated Planning and Scheduling (ICAPS'20)

Conference / Medium

ESORICS
25th European Symposium on Research in Computer Security, {ESORICS} 2020Computer Security - ESORICS 2020 - 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part II

Conference / Medium

POPL
PriSC 2020 The Principles of Secure Compilation

Year 2019

Conference / Medium

CREST
4th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology

Conference / Medium

SAC
The 34th ACM/SIGAPP Symposium On Applied Computing

Conference / Medium

Extended Version of ACM/SIGAPP Symposium On Applied Computing paperProceedings of the 34th ACM/SIGAPP Symposium on Applied Computing