Serveur d'exploration sur la recherche en informatique en Lorraine - Curation (Hal)

Index « Auteurs » - entrée « Mathieu Turuani »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Mathieu Poirier < Mathieu Turuani < Mathilde Arnaud  Facettes :

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 [France] ; Mathieu Turuani [France]Adding Integrity to the Ephemerizer's Protocol
000D21 (2003) Yannick Chevalier [France] ; Ralf Küsters ; Michaël Rusinowitch [France] ; Mathieu Turuani [France]An NP Decision Procedure for Protocol Insecurity with XOR
000D22 (2005) Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France]An NP Decision Procedure for Protocol Insecurity with XOR
000D23 (2003-06-22) Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France]An NP Decision Procedure for Protocol Insecurity with XOR
000E41 (2005-10-13) Mathieu Turuani [France]Analysis of Contract Signing Protocols
001077 (2016-02-26) Mathieu Turuani [France] ; Thomas Voegtlin [France] ; Michael Rusinowitch [France]Automated Verification of Electrum Wallet
001196 (2011) Véronique Cortier [France] ; Jérémie Detrey [France] ; Pierrick Gaudry [France] ; Frédéric Sur [France] ; Emmanuel Thomé [France] ; Mathieu Turuani [France] ; Paul Zimmermann [France]Ballot stuffing in a postal voting system
001705 (2008) Yannick Chevalier [France] ; Ralf Kuesters ; Michael Rusinowitch [France] ; Mathieu Turuani [France]Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption
001724 (2005-06-20) Michael Backes [Suisse] ; Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Mathieu Turuani [France]Compositional Analysis of Contract Signing Protocols
001725 (2006) Michael Backes [Suisse] ; Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Mathieu Turuani [France]Compositional Analysis of Contract Signing Protocols
001746 (2006-07-09) Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Arnab Roy [États-Unis] ; Vitaly Shmatikov [États-Unis] ; Mathieu Turuani [France] ; Bogdan Warinschi [France]Computationally Sound Compositional Logic for Security Protocols
001865 (2008) Najah Chridi [France] ; Mathieu Turuani [France] ; Michaël Rusinowitch [France]Constraints-based Verification of Parameterized Cryptographic Protocols.
001A88 (2009-07-08) Najah Chridi [France] ; Mathieu Turuani [France] ; Michael Rusinowitch [France]Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists
001A94 (2001) Michaël Rusinowitch [France] ; Mathieu Turuani [France]Deciding insecurity for non-atomic keys
001B09 (2004-07-04) Yannick Chevalier [France] ; Ralf Küsters ; Michaël Rusinowitch [France] ; Mathieu Turuani [France]Deciding the Security of Protocols with Commuting Public Key Encryption.
001B10 (2003-12-15) Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [États-Unis]Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents
001D06 (2011-09-15) Tigran Avanesov [France] ; Yannick Chevalier [France] ; Mohammed Anis Mekki [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France]Distributed Orchestration of Web Services under Security Constraints
002162 (2003) Yannick Chevalier [France] ; Ralf Küsters ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France]Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions
002163 (2003-08-25) Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France]Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions
002970 (2006-08-11) Max Tuengerthal [Allemagne] ; Ralf Küsters [Allemagne] ; Mathieu Turuani [France]Implementing a Unification Algorithm for Protocol Analysis with XOR
002C74 (2012-07-18) Tigran Avanesov [France] ; Yannick Chevalier [France] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France]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/Curation
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i -k "Mathieu Turuani" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i  \
                -Sk "Mathieu Turuani" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd 

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

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

Wicri

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