Filter your results
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Studying Formal Security Proofs for Cryptographic Protocols10th IFIP World Conference on Information Security Education (WISE), May 2017, Rome, Italy. pp.63-73, ⟨10.1007/978-3-319-58553-6_6⟩
Conference papers
hal-01690962v1
|