Auteurs
Merge
Accueil
Racine
Merge
Exploration
Accueil
Racine
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Merge (Accueil)

Index « Auteurs » - entrée « Steve Kremer »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Steve Fuller < Steve Kremer < Steve Mccourt  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 28.
[0-20] [0 - 20][0 - 28][20-27][20-40]
Ident.Authors (with country if any)Title
000057 (2016-03) Steve Kremer [France] ; Peter R Nne [France]To Du or not to Du: A Security Analysis of Du-Vote
000171 (2016) Rohit Chadha [États-Unis] ; Vincent Cheval [France] ; Tefan Ciobâc [Roumanie, France] ; Steve Kremer [France]Automated verification of equivalence properties of cryptographic protocols
000590 (2015-04-11) Véronique Cortier [France] ; Fabienne Eigner [Allemagne] ; Steve Kremer [France] ; Matteo Maffei [Allemagne] ; Cyrille Wiedling [Belgique]Type-Based Verification of Electronic Voting Protocols
000952 (2014-09-13) Véronique Cortier [France] ; Steve Kremer [France]Formal Models and Techniques for Analyzing Security Protocols: A Tutorial
000A98 (2014-06-19) Myrto Arapinis [Royaume-Uni] ; Stéphanie Delaune [France] ; Steve Kremer [France]Dynamic Tags for Security Protocols
000B63 (2014-05-18) Steve Kremer [France] ; Robert Künnemann [France]Automated Analysis of Security Protocols with Global State
000C59 (2014-03-05) Steve Kremer [France] ; Robert Künnemann [Allemagne]Automated analysis of security protocols with global state
000D47 (2014) Martin Abadi [États-Unis] ; Steve Kremer [France]Principles of Security and Trust
001292 (2013-03-16) Myrto Arapinis [Royaume-Uni] ; Véronique Cortier [France] ; Steve Kremer [France] ; Mark D. Ryan [Royaume-Uni]Practical Everlasting Privacy
001391 (2013) Céline Chevalier [France] ; Stéphanie Delaune [France] ; Steve Kremer [France] ; Mark D. Ryan [Royaume-Uni]Composition of Password-based Protocols
001466 (2013) Steve Kremer [France] ; Robert Künnemann [France] ; Graham Steel [France]Universally Composable Key-Management
001A81 (2012-06-26) Stéphanie Delaune [France] ; Steve Kremer [France] ; Daniel Pasaila [Canada]Security protocols, constraint systems, and group theories
001C06 (2012-04-10) Steve Kremer [France] ; Robert Kunnemann [France] ; Graham Steel [France]Universally Composable Key-Management
001C94 (2012) Steve Kremer [France] ; Antoine Mercier [France] ; Ralf Treinen [France]Reducing Equational Theories for the Decision of Static Equivalence
001D11 (2012) Stefan Ciobaca [France] ; Stéphanie Delaune [France] ; Steve Kremer [France]Computing knowledge in security protocols under convergent equational theories
001D16 (2012) Rohit Chadha [États-Unis] ; Vincent Cheval [Royaume-Uni] ; Stefan Ciobaca [Roumanie] ; Steve Kremer [France]Automated Verification of Equivalence Properties of Cryptographic Protocols
002003 (2011-12-12) Céline Chevalier [France] ; Stéphanie Delaune [France] ; Steve Kremer [France]Transforming Password Protocols to Compose
002908 (2011) Véronique Cortier [France] ; Steve Kremer [France]Formal Models and Techniques for Analyzing Security Protocols
003184 (2010) Véronique Cortier [France] ; Steve Kremer [France] ; Bogdan Warinschi [Royaume-Uni]A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems
003858 (2009) Mathieu Baudet ; Véronique Cortier [France] ; Steve Kremer [France]Computationally Sound Implementations of Equational Theories against Passive Adversaries
003C85 (2009) Mathieu Baudet [France] ; Véronique Cortier [France] ; Steve Kremer [France]Computationally sound implementations of equational theories against passive adversaries

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/Author.i -k "Steve Kremer" 

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

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

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

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