ask others

Robert Künnemann

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c8]
- view
  - electronic edition @ aaai.org
- export record
  dblp key:
  - conf/aaai/SpeicherS00K18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aaai/SpeicherS00K18
Patrick Speicher, Marcel Steinmetz, Michael Backes, Jörg Hoffmann, Robert Künnemann:
Stackelberg Planning: Towards Effective Leader-Follower State Space Search. AAAI 2018: 6286-6293
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/eurosp/SpeicherSKSP0018
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/eurosp/SpeicherSKSP0018
Patrick Speicher, Marcel Steinmetz, Robert Künnemann, Milivoj Simeonovski, Giancarlo Pellegrino, Jörg Hoffmann, Michael Backes:
Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure. EuroS&P 2018: 77-91
[i7]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1805-10891
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1805-10891
Robert Künnemann, Ilkan Esiyok, Michael Backes:
Automated Verification of Accountability in Security Protocols. CoRR abs/1805.10891 (2018)
[i6]
- view
  - electronic edition @ iacr.org
- export record
  dblp key:
  - journals/iacr/KunnemannG018
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iacr/KunnemannG018
Robert Künnemann, Deepak Garg, Michael Backes:
Accountability in Security Protocols. IACR Cryptology ePrint Archive 2018: 127 (2018)
2017
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/eurosp/BackesDKK17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/eurosp/BackesDKK17
Michael Backes, Jannik Dreier, Steve Kremer, Robert Künnemann:
A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and Its Application to Fair Exchange. EuroS&P 2017: 76-91
[i5]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/00010KSS17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/00010KSS17
Michael Backes, Jörg Hoffmann, Robert Künnemann, Patrick Speicher, Marcel Steinmetz:
Simulated Penetration Testing and Mitigation Analysis. CoRR abs/1705.05088 (2017)
[i4]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1710-09102
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1710-09102
Robert Künnemann:
Sufficient and necessary causation are dual. CoRR abs/1710.09102 (2017)
2016
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcs/KremerK16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jcs/KremerK16
Steve Kremer, Robert Künnemann:
Automated analysis of security protocols with global state. Journal of Computer Security 24(5): 583-616 (2016)
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ccs/0001KM16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ccs/0001KM16
Michael Backes, Robert Künnemann, Esfandiar Mohammadi:
Computational Soundness for Dalvik Bytecode. ACM Conference on Computer and Communications Security 2016: 717-730
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/0001KM16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/0001KM16
Michael Backes, Robert Künnemann, Esfandiar Mohammadi:
Computational Soundness for Dalvik Bytecode. CoRR abs/1608.04362 (2016)
2015
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/post/Kunnemann15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/post/Kunnemann15
Robert Künnemann:
Automated Backward Analysis of PKCS#11 v2.20. POST 2015: 219-238
2014
[b1]
- view
  - electronic edition @ archives-ouvertes.fr
- export record
  dblp key:
  - phd/hal/Kunnemann14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/phd/hal/Kunnemann14
Robert Künnemann:
Foundations for analyzing security APIs in the symbolic and computational model. (Fondations d'analyse de APIs de sécurité dans le modèle symbolique et calculatoire). École normale supérieure de Cachan, France 2014
[c3]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sp/KremerK14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sp/KremerK14
Steve Kremer, Robert Künnemann:
Automated Analysis of Security Protocols with Global State. IEEE Symposium on Security and Privacy 2014: 163-178
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/KremerK14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/KremerK14
Steve Kremer, Robert Künnemann:
Automated analysis of security protocols with global state. CoRR abs/1403.1142 (2014)
2013
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esorics/KremerKS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esorics/KremerKS13
Steve Kremer, Robert Künnemann, Graham Steel:
Universally Composable Key-Management. ESORICS 2013: 327-344
2012
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stm/KunnemannS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stm/KunnemannS12
Robert Künnemann, Graham Steel:
YubiSecure? Formal Security Analysis Results for the Yubikey and YubiHSM. STM 2012: 257-272
[i1]
- view
  - electronic edition @ iacr.org
- export record
  dblp key:
  - journals/iacr/KremerKS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iacr/KremerKS12
Steve Kremer, Robert Künnemann, Graham Steel:
Universally Composable Key-Management. IACR Cryptology ePrint Archive 2012: 189 (2012)

Coauthor Index

see FAQ

maintained by

, founded at