tum-i4 / indistinguishability-obfuscationLinks
Implementation of indistinguishability obfuscation constructions from scientific literature
☆48Updated 10 years ago
Alternatives and similar repositories for indistinguishability-obfuscation
Users that are interested in indistinguishability-obfuscation are comparing it to the libraries listed below
Sorting:
- ☆34Updated 3 months ago
- Arithmetic circuits for zero knowledge proof systems☆83Updated last year
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆65Updated last year
- ☆38Updated 8 years ago
- Optimized implementation of the Picnic signature scheme☆82Updated 3 years ago
- ☆12Updated 4 years ago
- Examples for EasyCrypt Lectures☆27Updated last week
- Teaching materials related to the Tamarin Prover☆71Updated last year
- A Language and Compiler for Homomorphic Encryption Made easY☆67Updated 5 years ago
- Crypto library☆67Updated last month
- Experiments with Universal Composability in EasyCrypt☆43Updated this week
- Performance Evaluation of SHA-256 using SHA New Instructions.☆42Updated 8 months ago
- A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.☆65Updated 6 years ago
- A programming language to write bitsliced ciphers☆59Updated last year
- ☆22Updated 9 years ago
- A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.☆127Updated 3 years ago
- Tor anonymity network for SGX☆47Updated 6 years ago
- Super Amazing Universal Composability, Yeah!☆32Updated 3 years ago
- CryptoBib Database for Developers☆46Updated this week
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 8 years ago
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆60Updated 2 years ago
- Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.☆13Updated 5 months ago
- Optimized Binary GCD for Modular Inversion☆51Updated 5 years ago
- dude, is my code constant time?☆197Updated last year
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆85Updated 3 years ago
- C++ library for Finite Fields and Elliptic Curves☆168Updated 4 years ago
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆47Updated 5 years ago
- Go, C++, and C implementation of a bilinear group and pairing-based cryptography for both embedded and non-embedded systems☆38Updated 3 years ago
- ☆52Updated 2 years ago