Volodymyr Nemchenko < Véronique Cortier < Véronique Dujardin

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 112.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000122 (2011-10-17)	Véronique Cortier ; Bogdan Warinschi	A Composable Computational Soundness Notion
000147 (2007-09)	Véronique Cortier ; Ralf Kuesters ; Bogdan Warinschi	A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols.
000148 (2007-07)	Véronique Cortier ; Ralf Kuesters ; Bogdan Warinschi	A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols.
000198 (2007-07)	Véronique Cortier ; Stéphanie Delaune ; Graham Steel	A Formal Theory of Key Conjuring.
000199 (2007)	Véronique Cortier ; Stéphanie Delaune ; Graham Steel	A Formal Theory of Key Conjuring
000236 (2014)	Véronique Cortier ; Graham Steel	A Generic Security API for Symmetric Key Management on Cryptographic Devices
000237 (2009-09-21)	Véronique Cortier ; Graham Steel	A Generic Security API for Symmetric Key Management on Cryptographic Devices
000504 (2006)	Véronique Cortier ; Stéphanie Delaune ; Pascal Lafourcade	A Survey of Algebraic Properties Used in Cryptographic Protocols
000510 (2011)	Véronique Cortier ; Steve Kremer ; Bogdan Warinschi	A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems.
000511 (2009)	Véronique Cortier ; Steve Kremer ; Bogdan Warinschi	A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems
000613 (2011-06-30)	Véronique Cortier ; Bogdan Warinschi	A composable computational soundness notion (Abstract)
000614 (2015-05)	David Bernhard ; Véronique Cortier ; David Galindo ; Olivier Pereira ; Bogdan Warinschi	A comprehensive analysis of game-based ballot privacy definitions
000679 (2012-03-24)	Véronique Cortier ; Cyrille Wiedling	A formal analysis of the Norwegian E-voting protocol
000680 (2011-11-01)	Véronique Cortier ; Cyrille Wiedling	A formal analysis of the Norwegian e-voting protocol
000693 (2013)	Véronique Cortier ; David Galindo ; Stephane Glondu ; Malika Izabachène	A generic construction for voting correctness at minimum cost - Application to Helios
000727 (2009-07-08)	Véronique Cortier ; Stéphanie Delaune	A method for proving observational equivalence
000801 (2006)	Véronique Cortier ; Xavier Goaoc ; Mira Lee ; Na Hyeon-Suk	A note on maximally repeated sub-patterns of a point set
000802 (2005)	Véronique Cortier ; Xavier Goaoc ; Mira Lee ; Hyeon-Suk Na	A note on maximally repeated sub-patterns of a point set
000803 (2011-06-08)	Ben Smyth ; Véronique Cortier	A note on replay attacks that violate privacy in electronic voting schemes
000926 (2005-07)	Véronique Cortier ; Michaël Rusinowitch ; Eugen Zalinescu	A resolution Strategy for Verifying Cryptographic Protocols with CBC Encryption and Blind Signatures
000990 (2014-07)	Hubert Comon-Lundh ; Véronique Cortier ; Guillaume Scerri	A tool for automating the computationally complete symbolic attacker (Extended Abstract)

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "Véronique Cortier" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Véronique Cortier" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    Véronique Cortier
}}

---

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