https://github.com/EasyCrypt/easycrypt
History
Tip revision: da719f05bd0e5199b1040c2bcbc97379aa4e7f8c authored by Alley Stoughton on 22 May 2020, 22:12:19 UTC
Allows nosmt with all operators other than pure, abstract ones - i.e.,
Tip revision: da719f0
File Mode Size
assumptions
pke
prp_prf
rom
ske
AdvAbsVal.ec -rw-r--r-- 1.4 KB
Birthday.ec -rw-r--r-- 4.7 KB
Commitment.ec -rw-r--r-- 2.1 KB
DLog.ec -rw-r--r-- 2.0 KB
DiffieHellman.ec -rw-r--r-- 6.2 KB
LorR.ec -rw-r--r-- 2.4 KB
MAC.ec -rw-r--r-- 1.4 KB
OW.ec -rw-r--r-- 2.2 KB
PKE.ec -rw-r--r-- 4.0 KB
PKS.ec -rw-r--r-- 3.3 KB
PRF.eca -rw-r--r-- 1.8 KB
PRG.eca -rw-r--r-- 1.4 KB
PRP.eca -rw-r--r-- 20.8 KB
ROM.ec -rw-r--r-- 31.3 KB
RndExcept.eca -rw-r--r-- 14.3 KB
SecureChannels.ec -rw-r--r-- 2.3 KB
SigmaProtocol.ec -rw-r--r-- 4.6 KB
SymmetricEncryption.ec -rw-r--r-- 2.9 KB

back to top