Mathieu Poirier < Mathieu Turuani < Mathilde Arnaud

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 38.
[0-20] [0 - 20][0 - 38][20-37][20-40]

Ident.	Authors (with country if any)	Title
000B39 (2006-09)	Charu Arora ; Mathieu Turuani	Adding Integrity to the Ephemerizer's Protocol
000D21 (2003)	Yannick Chevalier ; Ralf Küsters ; Michaël Rusinowitch ; Mathieu Turuani	An NP Decision Procedure for Protocol Insecurity with XOR
000D22 (2005)	Yannick Chevalier ; Ralf Küsters ; Michaël Rusinowitch ; Mathieu Turuani	An NP Decision Procedure for Protocol Insecurity with XOR
000D23 (2003-06-22)	Yannick Chevalier ; Ralf Küsters ; Michaël Rusinowitch ; Mathieu Turuani	An NP Decision Procedure for Protocol Insecurity with XOR
000E41 (2005-10-13)	Mathieu Turuani	Analysis of Contract Signing Protocols
001077 (2016-02-26)	Mathieu Turuani ; Thomas Voegtlin ; Michael Rusinowitch	Automated Verification of Electrum Wallet
001196 (2011)	Véronique Cortier ; Jérémie Detrey ; Pierrick Gaudry ; Frédéric Sur ; Emmanuel Thomé ; Mathieu Turuani ; Paul Zimmermann	Ballot stuffing in a postal voting system
001705 (2008)	Yannick Chevalier ; Ralf Kuesters ; Michael Rusinowitch ; Mathieu Turuani	Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption
001724 (2005-06-20)	Michael Backes ; Anupam Datta ; Ante Derek ; John C. Mitchell ; Mathieu Turuani	Compositional Analysis of Contract Signing Protocols
001725 (2006)	Michael Backes ; Anupam Datta ; Ante Derek ; John C. Mitchell ; Mathieu Turuani	Compositional Analysis of Contract Signing Protocols
001746 (2006-07-09)	Anupam Datta ; Ante Derek ; John C. Mitchell ; Arnab Roy ; Vitaly Shmatikov ; Mathieu Turuani ; Bogdan Warinschi	Computationally Sound Compositional Logic for Security Protocols
001865 (2008)	Najah Chridi ; Mathieu Turuani ; Michaël Rusinowitch	Constraints-based Verification of Parameterized Cryptographic Protocols.
001A88 (2009-07-08)	Najah Chridi ; Mathieu Turuani ; Michael Rusinowitch	Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists
001A94 (2001)	Michaël Rusinowitch ; Mathieu Turuani	Deciding insecurity for non-atomic keys
001B09 (2004-07-04)	Yannick Chevalier ; Ralf Küsters ; Michaël Rusinowitch ; Mathieu Turuani	Deciding the Security of Protocols with Commuting Public Key Encryption.
001B10 (2003-12-15)	Yannick Chevalier ; Ralf Küsters ; Michaël Rusinowitch ; Mathieu Turuani	Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents
001D06 (2011-09-15)	Tigran Avanesov ; Yannick Chevalier ; Mohammed Anis Mekki ; Michael Rusinowitch ; Mathieu Turuani	Distributed Orchestration of Web Services under Security Constraints
002162 (2003)	Yannick Chevalier ; Ralf Küsters ; Michaël Rusinowitch ; Mathieu Turuani ; Laurent Vigneron	Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions
002163 (2003-08-25)	Yannick Chevalier ; Ralf Küsters ; Michaël Rusinowitch ; Mathieu Turuani ; Laurent Vigneron	Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions
002970 (2006-08-11)	Max Tuengerthal ; Ralf Küsters ; Mathieu Turuani	Implementing a Unification Algorithm for Protocol Analysis with XOR
002C74 (2012-07-18)	Tigran Avanesov ; Yannick Chevalier ; Michaël Rusinowitch ; Mathieu Turuani	Intruder deducibility constraints with negation. Decidability and application to secured service compositions.

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "Mathieu Turuani" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Mathieu Turuani" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    Mathieu Turuani
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022