Concepedia

Robert Künnemann

RK

Statistics

Publications

7

Citations

198

H-Index

7

Active since

2014

Affiliations

Saarland University(Current)

Helmholtz Center for Information Security

Laboratoire Lorrain de Recherche en Informatique et ses Applications

CryptoExperts (France)

Centre Inria de l'Université de Lorraine

Robert Künnemann is an author at Saarland University specializing in computing, computer science, and computer security.

ORCID

Publications per year

2014–2019

7

Publications

7

Automated analysis of security protocols with global state

Steve Kremer, Robert Künnemann · Journal of Computer Security · 2016 · 72 citations · Full text

, , +14

Stackelberg Planning: Towards Effective Leader-Follower State Space Search

Patrick Speicher, Marcel Steinmetz, Michael Backes et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2018 · 32 citations · Full text

, , +15

Automated Analysis of Security Protocols with Global State

Steve Kremer, Robert Künnemann · 2014 · 29 citations · Full text

, , +14

A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and Its Application to Fair Exchange

Michael Backes, Jannik Dreier, Steve Kremer et al. · 2017 · 21 citations · Full text

, , +17

Towards automated network mitigation analysis

Patrick Speicher, Marcel Steinmetz, Jörg Hoffmann et al. · 2019 · 18 citations · Full text

, , +16

1–5 of 7