LSV-2

Results: 45



#Item
21

Deducibility constraints ⋆ Sergiu Bursuc1 , Hubert Comon-Lundh1,2 , and St´ephanie Delaune1 1

Add to Reading List

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

Language: English - Date: 2009-12-03 11:29:22
    22

    Composition of Password-based Protocols St´ephanie Delaune1 , Steve Kremer1 and Mark Ryan2 1 2 LSV, ENS de Cachan, CNRS & INRIA, France

    Add to Reading List

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

    Language: English - Date: 2010-03-26 07:22:08
      23

      D4.3 Results on a real life case study: Helios 2.0 Véronique Cortier and Steve Kremer January 16, 2012 The results presented in this report have been obtained by David Bernhard, Véronique Cortier, Steve Kremer, Olivier

      Add to Reading List

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

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

        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-02 14:25:07
          25

          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
            26

            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
              27

              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
                28

                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
                  29

                  Towards automatic analysis of election verifiability properties ? ?? Ben Smyth1,2 , Mark Ryan1 , Steve Kremer3 , and Mounira Kourjieh1,4

                  Add to Reading List

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

                  Language: English - Date: 2010-03-18 09:48:39
                    30

                    D4-1. Formal description of our case study: Helios 2.0 Ben Smyth and V´eronique Cortier Loria, CNRS, France Abstract

                    Add to Reading List

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

                    Language: English - Date: 2011-02-18 04:23:56
                      UPDATE