66123 Saarbrücken (Germany)
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.
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)
European Symposium on Research in Computer Security
Workshop on Security and Trust Management