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 <>
Submitted on : Monday, April 26, 2021 - 10:31:53 AM
Last modification on : Wednesday, April 28, 2021 - 3:11:05 AM

Identifiers

  • HAL Id : hal-03207809, version 1

Collections

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

8