Veronique Cortier

International Association for Cryptologic Research

Veronique Cortier Search web for home page

	year	title	booktitle	pages
1	2007	A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols	eprint	online
2	2006	Computationally Sound Symbolic Secrecy in the Presence of Hash Functions	eprint	online
3	2005	Computationally sound implementations of equational theories against passive adversaries	eprint	online