https://github.com/gprimiero/SecureNDC
History
Tip revision: ab4ac1bc2a1e87fb78ab013191aa03f80fd923da authored by Jaap Boender on 01 February 2022, 09:16:11 UTC
Updated for Coq 8.14
Tip revision: ab4ac1b
File Mode Size
paper
Make -rw-r--r-- 55 bytes
README.md -rw-r--r-- 452 bytes
distrust.v -rw-r--r-- 6.2 KB
mistrust.v -rw-r--r-- 1.2 KB
unSecureND.v -rw-r--r-- 23.1 KB

README.md

back to top