E-mail senden E-Mail Adresse kopieren

E-Mail

Adresse

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Weitere Informationen

Kurzbiografie

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. 

Veröffentlichungen von Robert Künnemann

Jahr 2021

Konferenz / Medium

CSF
2021 IEEE 34th Computer Security Foundations Symposium (CSF)34th IEEE Computer Security Foundations Symposium

Konferenz / Medium

CSF
2021 IEEE 34th Computer Security Foundations Symposium (CSF)2021 IEEE 34th Computer Security Foundations Symposium (CSF)

Konferenz / Medium

AAAI
35th AAAI Conference on Artificial Intelligence35th AAAI Conference on Artificial Intelligence

Jahr 2020

Konferenz / 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)

Konferenz / 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

Jahr 2019