Damien

Results: 1013



#Item
231MADNESS: A Framework Proposal for Securing Work in Ad Hoc Networks Pierre-François Bonnefoi, Patrick Poulingeas and Damien Sauveron , , LMSI, Laborato

MADNESS: A Framework Proposal for Securing Work in Ad Hoc Networks Pierre-François Bonnefoi, Patrick Poulingeas and Damien Sauveron , , LMSI, Laborato

Add to Reading List

Source URL: damien.sauveron.fr

Language: English - Date: 2013-02-26 15:54:32
    232Ideal Abstraction for Well-Structured Transition Systems Damien Zufferey1 1 IST Thomas Wies2

    Ideal Abstraction for Well-Structured Transition Systems Damien Zufferey1 1 IST Thomas Wies2

    Add to Reading List

    Source URL: pub.ist.ac.at

    Language: English - Date: 2012-09-21 10:51:39
      233Dynamic Package Interfaces Shahram Esmaeilsabzali1⋆ , Rupak Majumdar2, Thomas Wies3 , and Damien Zufferey4⋆⋆ 1 University of Waterloo

      Dynamic Package Interfaces Shahram Esmaeilsabzali1⋆ , Rupak Majumdar2, Thomas Wies3 , and Damien Zufferey4⋆⋆ 1 University of Waterloo

      Add to Reading List

      Source URL: pub.ist.ac.at

      Language: English - Date: 2014-04-10 15:23:05
        234Damien Zufferey Research Interests Programming Languages, Formal Methods, Program Analysis and Verification, and Distributed Systems. Education

        Damien Zufferey Research Interests Programming Languages, Formal Methods, Program Analysis and Verification, and Distributed Systems. Education

        Add to Reading List

        Source URL: pub.ist.ac.at

        Language: English - Date: 2013-11-29 18:20:22
          2351 Software Acceleration of Floating-point Multiplication using Runtime Code Generation – Student Paper – Charles Aracil and Damien Courouss´e

          1 Software Acceleration of Floating-point Multiplication using Runtime Code Generation – Student Paper – Charles Aracil and Damien Courouss´e

          Add to Reading List

          Source URL: www.cogito-anr.fr

          Language: English - Date: 2016-01-25 12:25:48
            236Automating 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: www.mpi-sws.org

            Language: English - Date: 2013-04-10 17:09:30
              237The computational power of membrane systems under tight uniformity conditions Niall Murphy ()∗ Department of Computer Science, National University of Ireland Maynooth, Ireland Damien Woods (woods@cal

              The computational power of membrane systems under tight uniformity conditions Niall Murphy ()∗ Department of Computer Science, National University of Ireland Maynooth, Ireland Damien Woods (woods@cal

              Add to Reading List

              Source URL: www.niallmurphy.me

              Language: English - Date: 2014-04-02 12:28:15
                238Contents I Smart Card Security I.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . I.2 Smart Card Specific Attacks . . . . . . . . . . . . . . . . . . .

                Contents I Smart Card Security I.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . I.2 Smart Card Specific Attacks . . . . . . . . . . . . . . . . . . .

                Add to Reading List

                Source URL: damien.sauveron.fr

                Language: English - Date: 2013-02-26 15:54:34
                  239Lattice-Based Group Signatures with Logarithmic Signature Size Fabien Laguillaumie1,3 , Adeline Langlois2,3 , Benoˆıt Libert4 , and Damien Stehl´e2,3 1 Universit´e Claude Bernard Lyon 1

                  Lattice-Based Group Signatures with Logarithmic Signature Size Fabien Laguillaumie1,3 , Adeline Langlois2,3 , Benoˆıt Libert4 , and Damien Stehl´e2,3 1 Universit´e Claude Bernard Lyon 1

                  Add to Reading List

                  Source URL: perso.ens-lyon.fr

                  Language: English - Date: 2014-07-04 07:17:55
                    240Secure distributed computing on a Java CardTM∗ Grid Pascal Grange Achraf Karray† Damien Sauveron‡ Pierre Vignéras LaBRI, Laboratoire Bordelais de Recherche en Informatique

                    Secure distributed computing on a Java CardTM∗ Grid Pascal Grange Achraf Karray† Damien Sauveron‡ Pierre Vignéras LaBRI, Laboratoire Bordelais de Recherche en Informatique

                    Add to Reading List

                    Source URL: damien.sauveron.fr

                    Language: English - Date: 2013-02-26 15:54:32