disco
disco copied to clipboard
Published
20 hours ago •
mimoo
mimoo
a protocol to encrypt communications and a cryptographic library based on Disco
Results
41
disco issues
Sort by
recently updated
recently updated
newest added
I think a whitepaper containing: * the rational behind Disco * benchmark and codesize results in different implementations (especially in C) * some tamarin symbolic proof would be great. If...
help wanted