Rocquencourt

Results: 247



#Item
91Hawk and Aucitas: e-auction schemes from the Helios and Civitas e-voting schemes Adam McCarthy1 , Ben Smyth1 , and Elizabeth A. Quaglia2 1 INRIA Paris-Rocquencourt, France

Hawk and Aucitas: e-auction schemes from the Helios and Civitas e-voting schemes Adam McCarthy1 , Ben Smyth1 , and Elizabeth A. Quaglia2 1 INRIA Paris-Rocquencourt, France

Add to Reading List

Source URL: www.bensmyth.com

Language: English - Date: 2014-05-14 02:07:07
    92Ballot secrecy and ballot independence coincide Ben Smyth1 and David Bernhard2 1 INRIA Paris-Rocquencourt, France 2

    Ballot secrecy and ballot independence coincide Ben Smyth1 and David Bernhard2 1 INRIA Paris-Rocquencourt, France 2

    Add to Reading List

    Source URL: bensmyth.com

    Language: English - Date: 2013-06-24 12:47:35
      93The Reactive Engine for Modular Transducers G´erard Huet and Benoˆıt Razet INRIA Rocquencourt, BP 105, 78153 Le Chesnay Cedex, France Abstract. This paper explains the design of the second release of the

      The Reactive Engine for Modular Transducers G´erard Huet and Benoˆıt Razet INRIA Rocquencourt, BP 105, 78153 Le Chesnay Cedex, France Abstract. This paper explains the design of the second release of the

      Add to Reading List

      Source URL: pauillac.inria.fr

      Language: English - Date: 2006-04-04 08:48:02
      94From the Applied Pi Calculus to Horn Clauses for Protocols with Lists Miriam Paiola and Bruno Blanchet INRIA Paris-Rocquencourt {paiola,blanchet}@inria.fr

      From the Applied Pi Calculus to Horn Clauses for Protocols with Lists Miriam Paiola and Bruno Blanchet INRIA Paris-Rocquencourt {paiola,blanchet}@inria.fr

      Add to Reading List

      Source URL: imm.dtu.dk

      Language: English - Date: 2014-03-13 10:27:35
        95Benoˆıt Razet INRIA Paris-Rocquencourt Date of Birth: January 8, 1982 Citizenship: France Office: +

        Benoˆıt Razet INRIA Paris-Rocquencourt Date of Birth: January 8, 1982 Citizenship: France Office: +

        Add to Reading List

        Source URL: pauillac.inria.fr

        Language: English - Date: 2009-04-09 03:43:54
          96Supercompiling with Staging Jun Inoue INRIA Paris-Rocquencourt ´ DI Ecole Normale Sup´erieure, Paris

          Supercompiling with Staging Jun Inoue INRIA Paris-Rocquencourt ´ DI Ecole Normale Sup´erieure, Paris

          Add to Reading List

          Source URL: meta2014.pereslavl.ru

          Language: English - Date: 2014-06-15 20:00:00
            97A Coq Framework For Verified Property-Based Testing (part of QuickChick) Cătălin Hrițcu INRIA Paris-Rocquencourt

            A Coq Framework For Verified Property-Based Testing (part of QuickChick) Cătălin Hrițcu INRIA Paris-Rocquencourt

            Add to Reading List

            Source URL: www.lri.fr

            Language: English - Date: 2014-10-21 15:40:50
              98Ballot secrecy and ballot independence: definitions and relations Ben Smyth1 and David Bernhard2 1 INRIA Paris-Rocquencourt, France

              Ballot secrecy and ballot independence: definitions and relations Ben Smyth1 and David Bernhard2 1 INRIA Paris-Rocquencourt, France

              Add to Reading List

              Source URL: bensmyth.com

              Language: English - Date: 2014-10-15 10:33:36
                99Hawk and Aucitas: e-auction schemes from the Helios and Civitas e-voting schemes Adam McCarthy1 , Ben Smyth1 , and Elizabeth A. Quaglia2 1 INRIA Paris-Rocquencourt, France

                Hawk and Aucitas: e-auction schemes from the Helios and Civitas e-voting schemes Adam McCarthy1 , Ben Smyth1 , and Elizabeth A. Quaglia2 1 INRIA Paris-Rocquencourt, France

                Add to Reading List

                Source URL: bensmyth.com

                Language: English - Date: 2014-03-31 03:42:07
                  100Computing with Relational Machines G´erard Huet and Benoˆıt Razet INRIA Paris-Rocquencourt ICON’2008 Tutorial, Pune, DecemberAbstract. We give a quick presentation of the X-machines of Eilenberg, a generalisa

                  Computing with Relational Machines G´erard Huet and Benoˆıt Razet INRIA Paris-Rocquencourt ICON’2008 Tutorial, Pune, DecemberAbstract. We give a quick presentation of the X-machines of Eilenberg, a generalisa

                  Add to Reading List

                  Source URL: pauillac.inria.fr

                  Language: English - Date: 2009-02-13 04:30:13