Checking Trace Equivalence: How to Get Rid of Nonces? - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

Dates and versions

hal-01238163 , version 1 (04-12-2015)

Identifiers

Cite

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⟩
576 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More