Damien

Results: 1013



#Item
191This Journal Version appears in Journal of Computer Security, Volume 21, Number 5, pages 627–Short Blind Signatures Olivier Blazy1 , Georg Fuchsbauer2 , David Pointcheval3 , and Damien Vergnaud3 1

This Journal Version appears in Journal of Computer Security, Volume 21, Number 5, pages 627–Short Blind Signatures Olivier Blazy1 , Georg Fuchsbauer2 , David Pointcheval3 , and Damien Vergnaud3 1

Add to Reading List

Source URL: www.di.ens.fr

Language: English - Date: 2013-12-21 18:19:40
    192A Logic-Based Framework for Verifying Consensus Algorithms Cezara Dr˘ agoi1 , Thomas A. Henzinger1 , Helmut Veith2 , Josef Widder2 , and Damien Zufferey3, 1

    A Logic-Based Framework for Verifying Consensus Algorithms Cezara Dr˘ agoi1 , Thomas A. Henzinger1 , Helmut Veith2 , Josef Widder2 , and Damien Zufferey3, 1

    Add to Reading List

    Source URL: pub.ist.ac.at

    Language: English - Date: 2014-04-10 15:25:36
      193Structural Counter Abstraction Kshitij Bansal1 , Eric Koskinen1? , Thomas Wies1 , and Damien Zufferey2?? 1 New York University 2

      Structural Counter Abstraction Kshitij Bansal1 , Eric Koskinen1? , Thomas Wies1 , and Damien Zufferey2?? 1 New York University 2

      Add to Reading List

      Source URL: pub.ist.ac.at

      Language: English - Date: 2013-01-29 04:20:09
        194Worst-Case to Average-Case Reductions for Module Lattices Adeline Langlois and Damien Stehlé Laboratoire LIP (U. Lyon, CNRS, ENS Lyon, INRIA, UCBL), 46 Allée d’Italie, 69364 Lyon Cedex 07, France Abstract. Most latt

        Worst-Case to Average-Case Reductions for Module Lattices Adeline Langlois and Damien Stehlé Laboratoire LIP (U. Lyon, CNRS, ENS Lyon, INRIA, UCBL), 46 Allée d’Italie, 69364 Lyon Cedex 07, France Abstract. Most latt

        Add to Reading List

        Source URL: eprint.iacr.org

        Language: English - Date: 2013-08-15 01:45:38
          195Overview of Security Threats for Smart Cards in the Public Transport Industry Konstantinos Markantonakis, Keith Mayes Information Security Group Smart Card Centre Royal Holloway University of London Egham, Surrey, United

          Overview of Security Threats for Smart Cards in the Public Transport Industry Konstantinos Markantonakis, Keith Mayes Information Security Group Smart Card Centre Royal Holloway University of London Egham, Surrey, United

          Add to Reading List

          Source URL: damien.sauveron.fr

          Language: English - Date: 2013-02-26 15:54:34
            196Mobile AD hoc Network with Embedded Secure System Ève Atallah1, Céline Burgod1, Pierre-François Bonnefoi, Damien Sauveron XLIM, UMR 6172 CNRS – Université de Limoges

            Mobile AD hoc Network with Embedded Secure System Ève Atallah1, Céline Burgod1, Pierre-François Bonnefoi, Damien Sauveron XLIM, UMR 6172 CNRS – Université de Limoges

            Add to Reading List

            Source URL: damien.sauveron.fr

            Language: English - Date: 2013-02-26 15:54:34
              197Intrinsic Universality in Self-Assembly David Doty∗, Jack H. Lutz†, Matthew J. Patitz‡, Scott M. Summers§, and Damien Woods¶ Abstract We show that the Tile Assembly Model exhibits a strong notion of universality

              Intrinsic Universality in Self-Assembly David Doty∗, Jack H. Lutz†, Matthew J. Patitz‡, Scott M. Summers§, and Damien Woods¶ Abstract We show that the Tile Assembly Model exhibits a strong notion of universality

              Add to Reading List

              Source URL: self-assembly.net

              Language: English - Date: 2010-03-03 20:45:08
                198Le Quotidien de l’Art July 15, 2013, N° 420 Page 7 By Damien Sausset

                Le Quotidien de l’Art July 15, 2013, N° 420 Page 7 By Damien Sausset

                Add to Reading List

                Source URL: michelrein.com

                - Date: 2013-12-19 10:36:55
                  199The Second International Conference on Emerging Security Information, Systems and Technologies A BODY-CENTERED CUBIC METHOD FOR KEY AGREEMENT IN DYNAMIC MOBILE AD HOC NETWORKS Ioannis G. Askoxylakis Foundation for Resea

                  The Second International Conference on Emerging Security Information, Systems and Technologies A BODY-CENTERED CUBIC METHOD FOR KEY AGREEMENT IN DYNAMIC MOBILE AD HOC NETWORKS Ioannis G. Askoxylakis Foundation for Resea

                  Add to Reading List

                  Source URL: damien.sauveron.fr

                  Language: English - Date: 2013-02-26 15:54:32
                    200Automating Separation Logic Using SMT Ruzica Piskac1 , Thomas Wies2 , and Damien Zufferey3 1 2

                    Automating Separation Logic Using SMT Ruzica Piskac1 , Thomas Wies2 , and Damien Zufferey3 1 2

                    Add to Reading List

                    Source URL: pub.ist.ac.at

                    Language: English - Date: 2013-10-16 12:00:05