Published February 7, 2021
| Version 1.0
Software
Open
Formal Verification of Secure Forwarding Protocols (Artifact)
Description
Artifact of paper "Formal Verification of Secure Forwarding Protocols" presented at 34th IEEE Computer Security Foundations Symposium (CSF'21)
Notes
Isabelle/HOL 2020 source files.
See README in Zip file.
Files
zenodo-submission-1.0.zip
Files
(2.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:328888e609cd49c23e2a71731ee50d0b
|
2.8 MB | Preview Download |