Yassine Lakhnech

International Association for Cryptologic Research

Yassine Lakhnech Search web for home page

	year	title	booktitle	pages
1	2007	A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness	crypto	482-499
2	2005	(De)Compositions of Cryptographic Schemes and their Applications to Protocols	eprint	online
3	2005	Computationally Sound Verification of Security Protocols Using Diffie-Hellman Exponentiation	eprint	online
4	2005	Probabilistic Opacity for a Passive Adversary and its Application to Chaum's Voting Scheme	eprint	online