Haskell implementation of the symbolic security framework and security proof of the garbled circuit scheme in "Symbolic Security of Garbled Circuits"
For details, please see our report https://eprint.iacr.org/2018/141
b5li/SymGC
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|