Checking Trace Equivalence: How to Get Rid of Nonces?

Rémy Chrétien; Véronique Cortier; Stéphanie Delaune

doi:10.1007/978-3-319-24177-7_12

Home
Submit
Browse all HAL
Inria publications
Search
Services
Help
OpenAccess
- Inria supporting open science

Conference papers

Checking Trace Equivalence: How to Get Rid of Nonces?

Rémy Chrétien ^{1, 2} Véronique Cortier ¹ Stéphanie Delaune ²

1 CASSIS - Combination of approaches to the security of infinite states systems

FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods

2 LSV - Laboratoire Spécification et Vérification [Cachan]

Rémy Chrétien ^{1, 2} AuthorId : 843353
Author

Véronique Cortier ¹ AuthorId : 843354

Author

Stéphanie Delaune ² AuthorId : 654533

Author Employer institution : Centre National de la Recherche Scientifique IdHAL : stephanie-delaune

1 CASSIS - Combination of approaches to the security of infinite states systems (France) StructId : 189789

FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (32 avenue de l'Observatoire 25044 BESANCON CEDEX - France) StructId : 866
- UTBM - Université de Technologie de Belfort-Montbeliard (France) StructId : 300261
- ENSMM - Ecole Nationale Supérieure de Mécanique et des Microtechniques (École Nationale Supérieure de Mécanique et des Microtechniques 26, rue de l'épitaphe CS 51813 25030 BESANÇON CEDEX - FRANCE - France) StructId : 300360
- UFC - Université de Franche-Comté (1 rue Goudimel 25030 Besançon cedex - France) StructId : 458810
  - UBFC - Université Bourgogne Franche-Comté [COMUE] (France) StructId : 426438
- CNRS - Centre National de la Recherche Scientifique : UMR6174 (France) StructId : 441569
Inria Nancy - Grand Est (615 rue du Jardin Botanique 54600 Villers-lès-Nancy - France) StructId : 129671
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
LORIA - FM - Department of Formal Methods (France) StructId : 423084
- LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex - France) StructId : 206040
  - Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
  - UL - Université de Lorraine (34 cours Léopold - CS 25233 - 54052 Nancy cedex - France) StructId : 413289
  - CNRS - Centre National de la Recherche Scientifique : UMR7503 (France) StructId : 441569

2 LSV - Laboratoire Spécification et Vérification [Cachan] (Bâtiment d'Alembert 61 Avenue du Président Wilson 94235 CACHAN CEDEX - France) StructId : 2571

ENS Cachan - École normale supérieure - Cachan (61, avenue du Président Wilson - 94230 Cachan - France) StructId : 6862
CNRS - Centre National de la Recherche Scientifique : UMR8643 (France) StructId : 441569

Document type :

Conference papers

Domain :

Computer Science [cs] / Cryptography and Security [cs.CR]

Complete list of metadatas

https://hal.inria.fr/hal-01238163
Contributor : Véronique Cortier <>
Submitted on : Friday, December 4, 2015 - 2:02:46 PM
Last modification on : Thursday, November 12, 2020 - 9:42:14 AM

Identifiers

HAL Id : hal-01238163, version 1
DOI : 10.1007/978-3-319-24177-7_12

Collections

Citation

Rémy Chrétien, Véronique Cortier, Stéphanie Delaune. Checking Trace Equivalence: How to Get Rid of Nonces?. ESORICS 2015 - 20th European Symposium on Research in Computer Security, Sep 2015, Vienne, Austria. ⟨10.1007/978-3-319-24177-7_12⟩. ⟨hal-01238163⟩

Checking Trace Equivalence: How to Get Rid of Nonces?

Identifiers

Collections

Citation

Export

Metrics

977

Contact Legal Notice Personal Data

Checking Trace Equivalence: How to Get Rid of Nonces?

Identifiers

Collections

Citation

Export

Share

Metrics

977

Contact Legal Notice Personal Data