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.
Extended Version of ACM/SIGAPP Symposium On Applied Computing paperProceedings of the 34th ACM/SIGAPP Symposium on Applied Computing
Extended Version of EuroS&P 2018 Paper
AAAI
The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18)
EuroS&P
2018 IEEE European Symposium on Security and Privacy, EuroS&P 2018, London, United Kingdom, April 24-26, 2018
EuroS&P
Proceedings of the 2nd IEEE European Symposium on Security and Privacy (Euro S&P '17)
Journal of Computer Security
CCS
Proceedings of the 23rd ACM Conference on Computer and Communications Security (CCS'16)
Proc. 4th International Conference on Principles of Security and Trust (POST'15)
Proc. 35th IEEE Symposium on Security and Privacy (S&P'14)