Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (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
000062 (2016-02-26) Mathieu Turuani [France] ; Thomas Voegtlin [France] ; Michael Rusinowitch [France]Automated Verification of Electrum Wallet
000A40 (2014-06-17) Jose Antonio Martin [Espagne] ; Fabio Martinelli [Italie] ; Ilaria Matteucci [Italie] ; Ernesto Pimentel [Espagne] ; Mathieu Turuani [France]On the Synthesis of Secure Services Composition
001510 (2012-10-17) Tigran Avanesov [Luxembourg (pays)] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France]Towards the Orchestration of Secured Services under Non-disclosure Policies.
001633 (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.
001819 (2012-03-24) Alessandro Armando [France] ; Wihem Arsac [France] ; Tigran Avanesov [France] ; Michele Barletta [Italie] ; Alberto Calvi [Italie] ; Alessandro Cappai [France] ; Roberto Carbone [France] ; Yannick Chevalier [France] ; Luca Compagna [France] ; Jorge Cuellar [Allemagne] ; Gabriel Erzse [Roumanie] ; Simone Frau [Suisse] ; Marius Minea [Roumanie] ; Sebastian Modersheim [France] ; David Von Oheimb [Allemagne] ; Giancarlo Pellegrino [France] ; Serena Elisa Ponta [France] ; Marco Rocchetto [Italie] ; Michaël Rusinowitch [France] ; Mohammad Torabi Dashti [Suisse] ; Mathieu Turuani [France] ; Luca Vigano [Italie]The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
001B84 (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
002064 (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
002267 (2010-10-11) Tigran Avanesov [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France]Satisfiability of General Intruder Constraints with a Set Constructor
002596 (2010-05) Tigran Avanesov [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France]Satisfiability of General Intruder Constraints with and without a Set Constructor
002B50 (2009-07-08) Najah Chridi [France] ; Mathieu Turuani [France] ; Michael Rusinowitch [France]Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists
002E51 (2009) Charu Arora [Inde] ; Mathieu Turuani [France]Validating Integrity for the Ephemerizer's Protocol with CL-Atse
003228 (2008-07-17) Najah Chridi [France] ; Mathieu Turuani [France] ; Michael Rusinowitch [France]Towards a Constrained-based Verification of Parameterized Cryptographic Protocols
003673 (2008) Najah Chridi [France] ; Mathieu Turuani [France] ; Michaël Rusinowitch [France]Constraints-based Verification of Parameterized Cryptographic Protocols.
003682 (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
003F51 (2006-09) Charu Arora [France] ; Mathieu Turuani [France]Adding Integrity to the Ephemerizer's Protocol
003F69 (2006-08-12) Mathieu Turuani [France]The CL-Atse Protocol Analyser
003F72 (2006-08-11) Max Tuengerthal [Allemagne] ; Ralf Küsters [Allemagne] ; Mathieu Turuani [France]Implementing a Unification Algorithm for Protocol Analysis with XOR
003F97 (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
004394 (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
004501 (2005-10-13) Mathieu Turuani [France]Analysis of Contract Signing Protocols
004537 (2005-09-12) Mathieu Turuani [France] ; Hoan Vu-Van [France]Validation of the ASW Contract Signing Protocol

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Checkpoint
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/Author.i -k "Mathieu Turuani" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/Author.i  \
                -Sk "Mathieu Turuani" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Checkpoint
   |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