Cachan - PDFSEARCH.IO - Document Search Engine

Cachan
Results: 458

#	Item
211	Vote-Independence: A Powerful Privacy Notion for Voting Protocols? Jannik Dreier, Pascal Lafourcade, and Yassine Lakhnech Universit´e Grenoble 1, CNRS, Verimag, FRANCE Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2012-12-05 06:09:37
212	Computational soundness of static equivalence V´eronique Cortier1 , Steve Kremer2 , and Pascal Lafourcade3 1 LORIA, CNRS & INRIA LSV, CNRS & ENS Cachan & INRIA Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2010-03-25 09:09:53
213	Benaloh’s Dense Probabilistic Encryption Revisited ? Laurent Fousse1 , Pascal Lafourcade2 , and Mohamed Alnuaimi3 1 3 Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2012-12-05 06:09:37
214	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Reducing Equational Theories for the Decision of Static Equivalence Steve Kremer · Antoine Mercier · Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2011-08-02 11:02:31
215	Automating security analysis: symbolic equivalence of constraint systems ? Vincent Cheval, Hubert Comon-Lundh, and St´ephanie Delaune LSV, ENS Cachan & CNRS & INRIA Saclay ˆIle-de-France Abstract. We consider security Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2011-08-02 11:02:31
216	Formal Methods in System Design manuscript No. (will be inserted by the editor) An Extension of the Inverse Method to Probabilistic Timed Automata ´ Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2012-08-01 09:09:03
217	Towards Automated Proofs for Asymmetric Encryption Schemes in the Random Oracle Model Judicaël Courant, Marion Daubignard, Cristian Ene, ∗ Pascal Lafourcade, Yassine Lakhnech Université Grenoble 1, CNRS,Verimag Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2008-09-19 09:09:56
218	Modeling and Verifying Ad Hoc Routing Protocols ⋆ Mathilde Arnaud1,2 , V´eronique Cortier2 , and St´ephanie Delaune1 1 2 Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2009-07-06 12:39:27
219	Automated verification of equivalence properties of cryptographic protocols� Rohit Chadha1 , S¸tefan Ciobˆac˘a1 , and Steve Kremer1,2 1 LSV, ENS Cachan & CNRS & INRIA Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2012-12-05 06:09:36
220	Lucca Hirschi LSV, ENS Cachan CSF & FCS Add to Reading List Source URL: csf2015.di.univr.it - Date: 2015-07-08 13:21:16

UPDATE