https://github.com/gprimiero/SecureNDC
Tip revision: ab4ac1bc2a1e87fb78ab013191aa03f80fd923da authored by Jaap Boender on 01 February 2022, 09:16:11 UTC
Updated for Coq 8.14
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 |