Stephen Wismath < Steve Kremer < Steve Robbins

Facettes : AffPays.f AffRegion.f AffOrg.f Author.f

List of bibliographic references

Number of relevant bibliographic references: 24.
[0-20] [0 - 20][0 - 24][20-23][20-40]

Ident.	Authors (with country if any)	Title
000510 (2011)	Véronique Cortier [France] ; Steve Kremer [France] ; Bogdan Warinschi [Royaume-Uni]	A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems.
000511 (2009)	Véronique Cortier [France] ; Steve Kremer [France] ; Bogdan Warinschi [Royaume-Uni]	A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems
001052 (2014-05-18)	Steve Kremer [France] ; Robert Künnemann [France]	Automated Analysis of Security Protocols with Global State
001078 (2012)	Rohit Chadha [États-Unis] ; Vincent Cheval [Royaume-Uni] ; Stefan Ciobaca [Roumanie] ; Steve Kremer [France]	Automated Verification of Equivalence Properties of Cryptographic Protocols
001082 (2014-03-05)	Steve Kremer [France] ; Robert Künnemann [Allemagne]	Automated analysis of security protocols with global state
001090 (2012-03-26)	Rohit Chadha [France] ; Stefan Ciobaca [France] ; Steve Kremer [France]	Automated verification of equivalence properties of cryptographic protocols
001091 (2016)	Rohit Chadha [États-Unis] ; Vincent Cheval [France] ; Tefan Ciobâc [Roumanie, France] ; Steve Kremer [France]	Automated verification of equivalence properties of cryptographic protocols
001719 (2013)	Céline Chevalier [France] ; Stéphanie Delaune [France] ; Steve Kremer [France] ; Mark D. Ryan [Royaume-Uni]	Composition of Password-based Protocols
001747 (2009)	Mathieu Baudet ; Véronique Cortier [France] ; Steve Kremer [France]	Computationally Sound Implementations of Equational Theories against Passive Adversaries
001748 (2005-07)	Mathieu Baudet [France] ; Véronique Cortier [France] ; Steve Kremer [France]	Computationally Sound Implementations of Equational Theories against Passive Adversaries
001749 (2006-12)	Véronique Cortier [France] ; Steve Kremer [France] ; Ralf Kuesters [Suisse] ; Bogdan Warinschi [France]	Computationally Sound Symbolic Secrecy in the Presence of Hash Functions
001788 (2012)	Stefan Ciobaca [France] ; Stéphanie Delaune [France] ; Steve Kremer [France]	Computing knowledge in security protocols under convergent equational theories
001D68 (2014-06-19)	Myrto Arapinis [Royaume-Uni] ; Stéphanie Delaune [France] ; Steve Kremer [France]	Dynamic Tags for Security Protocols
002378 (2014-09-13)	Véronique Cortier [France] ; Steve Kremer [France]	Formal Models and Techniques for Analyzing Security Protocols: A Tutorial
002379 (2011)	Véronique Cortier [France] ; Steve Kremer [France]	Formal Models and Techniques for Analyzing Security Protocols
003C40 (2013-03-16)	Myrto Arapinis [Royaume-Uni] ; Véronique Cortier [France] ; Steve Kremer [France] ; Mark D. Ryan [Royaume-Uni]	Practical Everlasting Privacy
003C87 (2014)	Martin Abadi [États-Unis] ; Steve Kremer [France]	Principles of Security and Trust
004032 (2012)	Steve Kremer [France] ; Antoine Mercier [France] ; Ralf Treinen [France]	Reducing Equational Theories for the Decision of Static Equivalence
004432 (2012-06-26)	Stéphanie Delaune [France] ; Steve Kremer [France] ; Daniel Pasaila [Canada]	Security protocols, constraint systems, and group theories
004D54 (2016-03)	Steve Kremer [France] ; Peter R Nne [France]	To Du or not to Du: A Security Analysis of Du-Vote
004F49 (2011-12-12)	Céline Chevalier [France] ; Stéphanie Delaune [France] ; Steve Kremer [France]	Transforming Password Protocols to Compose

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i -k "Steve Kremer" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i  \
                -Sk "Steve Kremer" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Curation
   |type=    indexItem
   |index=    Author.i
   |clé=    Steve Kremer
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022