( en | de | ru )

 

Disambiguierung von "Kremer, Steve"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symbolic Methods in Computational Cryptography Proofs.

, , , , und . CSF, Seite 136-151. IEEE, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Steve Tonah

Steve Völler

Steve Pasek

Steve Blechschmidt

Steve Boudreault

 

Weitere Publikationen von Autoren mit dem selben Namen

Fair multi-party non-repudiation protocols., und . Int. J. Inf. Sec., 1 (4): 223-235 (2003)Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses., , , , , und . USENIX Security Symposium, Seite 5899-5916. USENIX Association, (2023)Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols., , , und . POST, Volume 10204 von Lecture Notes in Computer Science, Seite 117-140. Springer, (2017)07421 Executive Summary -- Formal Protocol Verification Applied., , und . Formal Protocol Verification Applied, Volume 07421 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)An Extensive Formal Analysis of Multi-factor Authentication Protocols., und . CSF, Seite 1-15. IEEE Computer Society, (2018)Game Analysis of Abuse-free Contract Signing., und . CSFW, Seite 206-. IEEE Computer Society, (2002)07421 Abstracts Collection -- Formal Protocol Verification Applied., , und . Formal Protocol Verification Applied, Volume 07421 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)Symbolic protocol verification with dice: process equivalences in the presence of probabilities., , und . CSF, Seite 319-334. IEEE, (2022)Introduction., und . Formal Models and Techniques for Analyzing Security Protocols, Volume 5 von Cryptology and Information Security Series, IOS Press, (2011)An Optimistic Non-repudiation Protocol with Transparent Trusted Third Party., und . ISC, Volume 2200 von Lecture Notes in Computer Science, Seite 363-378. Springer, (2001)