Cachan

Results: 458



#Item
191

Deciding security for protocols with recursive tests★ Mathilde Arnaud1,2 , V´eronique Cortier2 , and St´ephanie Delaune1 1 LSV, ENS Cachan & CNRS & INRIA Saclay ˆIle-de-France, France

Add to Reading List

Source URL: www.lsv.ens-cachan.fr

Language: English - Date: 2011-08-02 11:02:30
    192

    Formal analysis of protocols based on TPM state registers St´ephanie Delaune∗ and Steve Kremer∗ and Mark D. Ryan† and Graham Steel∗ ∗ LSV, ENS Cachan & CNRS & INRIA Saclay Ile-de-France ˆ † School of Comput

    Add to Reading List

    Source URL: www.cs.bham.ac.uk

    Language: English - Date: 2011-05-05 05:25:30
      193

      Coercion-Resistance and Receipt-Freeness in Electronic Voting ∗ 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
        194

        Simple Priced Timed Games Are Not That Simple∗ Thomas Brihaye1 , Gilles Geeraerts2 , Axel Haddad1 , Engel Lefaucheux3 , and Benjamin Monmege4 1 2

        Add to Reading List

        Source URL: www.lsv.ens-cachan.fr

        Language: English - Date: 2015-10-03 15:28:57
          195

          F ORMAL A NALYSIS OF E-VOTING P ROTOCOLS AVOTÉ Project France Telecom R&D - Loria - LSV - Verimag http://www.lsv.ens-cachan.fr/Projects/anr-avote/ Elections are a cornerstone of modern democracies. In 2011, legally bind

          Add to Reading List

          Source URL: www.lsv.ens-cachan.fr

          Language: English - Date: 2012-12-05 06:09:39
            196

            Automated Proofs for Asymmetric Encryption: First results in the random oracle model J. Courant, M. Daubignard, C. Ene, P. Lafourcade and Y. Lakhnech ∗ Universit´e Grenoble 1, CNRS,V ERIMAG June 9, 2008

            Add to Reading List

            Source URL: www.lsv.ens-cachan.fr

            Language: English - Date: 2008-09-19 09:09:55
              197

              The Complexity of the Kth Largest Subset Problem and Related Problems Christoph Haasea,1 , Stefan Kieferb,2 a LSV, CNRS & ENS Cachan, Universit´e Paris-Saclay, France

              Add to Reading List

              Source URL: www.lsv.ens-cachan.fr

              Language: English - Date: 2015-09-30 16:59:00
                198

                Author manuscript, published in "RevoteInternational Workshop on Requirements Engineering for Electronic Voting Systems (2011)" DOI : REVOTEBallot stuffing in a postal voting system

                Add to Reading List

                Source URL: www.lsv.ens-cachan.fr

                Language: English - Date: 2012-12-05 06:09:36
                  199

                  Reducing Equational Theories for the Decision of Static Equivalence★ Steve Kremer1 , Antoine Mercier1 , and Ralf Treinen2 1 2

                  Add to Reading List

                  Source URL: www.lsv.ens-cachan.fr

                  Language: English - Date: 2009-12-03 11:29:23
                    200

                    ENSC-2010 n°257 THÈSE présentée à l’École Normale Supérieure de Cachan en vue de l’obtention du grade de

                    Add to Reading List

                    Source URL: www.lsv.ens-cachan.fr

                    Language: French - Date: 2010-12-22 02:28:05
                      UPDATE