Skip to content

v0.1.1

Choose a tag to compare

View all tags
@thinksyncs thinksyncs released this 12 Apr 15:19
· 12 commits to main since this release
v0.1.1
99f0045

Updated public release of the machine-checked case-study bundle, including the tightened ProVerif event semantics and the PDF report.

Assets 3
Loading