HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Proving Group Protocols Secure Against Eavesdroppers

Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00496351
Contributor : Ralf Treinen Connect in order to contact the contributor
Submitted on : Wednesday, June 30, 2010 - 1:28:37 PM
Last modification on : Monday, February 15, 2021 - 10:48:49 AM

Links full text

Identifiers

Citation

Steve Kremer, Antoine Mercier, Ralf Treinen. Proving Group Protocols Secure Against Eavesdroppers. 4th International Joint Conference on Automated Reasoning (IJCAR 2008), Aug 2008, Sydney, Australia. pp.116-131, ⟨10.1007/978-3-540-71070-7_9⟩. ⟨hal-00496351⟩

Share

Metrics

Record views

35