Published August 25, 2026
| Version v1
Software
Open
Refinement-based Verification of Cryptographic Protocols with Quantitative Values
Authors/Creators
- 1. Shielded Technologies
-
2.
IMDEA Software Institute
-
3.
Universidad Politécnica de Madrid
-
4.
Max Planck Institute for Security and Privacy
Description
This artifact supports the ACM CCS 2026 paper *Refinement-based Verification of Cryptographic Protocols with Quantitative Values*.
It contains the verification tool described in the paper, the models of every protocol analysed in it, and a script that reproduces the experiments of Figure 6. More details on the artifact can be found in the README.md.
Files
paper.pdf
Files
(1.5 GB)
| Name | Size | |
|---|---|---|
|
md5:25b76da91716e7c47d624158f5469e3a
|
304 Bytes | Download |
|
md5:4e0329ff414a09d9c178617a6813e28f
|
5.3 kB | Download |
|
md5:852b0d3bd2f5a0432fb8e3cf94f9c7ee
|
764.1 kB | Preview Download |
|
md5:268ab174e867fd92d32989a9cedec38b
|
1.5 GB | Download |
|
md5:c2fbadcecc7c861b322e988d8f62fc6f
|
6.4 kB | Preview Download |
|
md5:20886cd3a8e63f7384a7664316953307
|
206.3 kB | Download |
Additional details
Software
- Repository URL
- https://gitlab.com/irakoton/tidy-automation