Checking Trace Equivalence: How to Get Rid of Nonces? - Archive ouverte HAL Access content directly
Conference Papers Year :

Checking Trace Equivalence: How to Get Rid of Nonces?

(1, 2) , (1) , (2)
1
2
Not file

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More