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

A Method for Automatic Cryptographic Protocol Verification

Complete list of metadata

https://hal.inria.fr/hal-03207809
Contributor : Jean Goubault-Larrecq Connect in order to contact the contributor
Submitted on : Monday, April 26, 2021 - 10:31:53 AM
Last modification on : Friday, June 4, 2021 - 1:32:02 PM

Identifiers

  • HAL Id : hal-03207809, version 1

Citation

Jean Goubault-Larrecq. A Method for Automatic Cryptographic Protocol Verification. Workshop on Formal Methods for Parallel Programming, May 2000, Cancun, Mexico. pp.977-984. ⟨hal-03207809⟩

Share

Metrics

Record views

13