Research Group Leader
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.
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)
POPL
PriSC 2020 The Principles of Secure Compilation
CSF
Computer Security Foundations Symposium
Extended Version of ACM/SIGAPP Symposium On Applied Computing paperProceedings of the 34th ACM/SIGAPP Symposium on Applied Computing
CSF
Computer Security Foundations Symposium
UNSPECIFIED
4th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology
The 34th ACM/SIGAPP Symposium On Applied Computing
AAAI
The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18)
Extended Version of EuroS&P 2018 Paper