Cachan - PDFSEARCH.IO - Document Search Engine

Cachan
Results: 458

#	Item
161	Composition of Password-based Protocols St´ephanie Delaune LSV, ENS Cachan & CNRS & INRIA France ∗ Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2008-06-15 08:58:42
162	Decidability and combination results for two notions of knowledge in security protocols ∗ V´eronique Cortier () LORIA, CNRS & INRIA St´ephanie Delaune† () Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2011-08-02 11:02:31
163	INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Ben Smyth — Véronique Cortier N° 7643 Juin 2011 Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2012-12-05 06:09:37
164	State Space Reduction Strategies for Model Checking Concurrent C Programs Amira Methni, Belgacem Ben Hedia, Matthieu Lemerre, CEA, LIST, Centre de Saclay, PC172, 91191, Gif-sur-Yvette, FRANCE Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-09-28 04:47:01
165	(full paper) Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder Francis Klay1 and Laurent Vigneron2 Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2008-09-22 11:28:24
166	Computing knowledge in security protocols under convergent equational theories ? S ¸ tefan Ciobˆ ac˘ a, St´ephanie Delaune, and Steve Kremer Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2009-07-06 12:24:04
167	Verifying privacy-type properties of electronic voting protocols: a taster ⋆ St´ephanie Delaune1 , Steve Kremer1 , and Mark Ryan2 1 2 Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2009-12-03 11:29:23
168	Verifying Properties of Electronic Voting Protocols ∗ St´ephanie Delaune LSV, France T´el´ecom R&D ENS Cachan, CNRS, France Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-02-25 10:33:24
169	Formal Indistinguishability extended to the Random Oracle Model Cristian Ene, Yassine Lakhnech and Van Chan Ngo ⋆ Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2010-03-25 09:10:13
170	J Autom Reasoning:261–291 DOIs10817x Automated Proofs for Asymmetric Encryption J. Courant · M. Daubignard · C. Ene · P. Lafourcade · Y. Lakhnech Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2012-12-05 06:09:36

UPDATE