crocs-muni / eacircLinks
Automatic problem solver based on circuit-like representation and genetic programming
☆14Updated 7 years ago
Alternatives and similar repositories for eacirc
Users that are interested in eacirc are comparing it to the libraries listed below
Sorting:
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 years ago
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆28Updated 7 years ago
- A research project on isomorphisms of finite fields☆16Updated 6 years ago
- This software library is a C-language + optimized assembly code that supports an instance of the Super-Singular Isogeny Diffie-Hellman (S…☆9Updated 6 years ago
- ☆12Updated 4 years ago
- Tool for generation of data from cryptoprimitives (block and stream ciphers, hash functions). Cryptoprimitives are round-reduced and the …☆14Updated 2 years ago
- C++ library for evaluating arithmetic circuits on batches of inputs☆15Updated 8 years ago
- A user-first approach to threat modeling.☆17Updated last month
- A fork of floodyberry's ed25519-donna modified to support the Ristretto prime-order group☆14Updated 4 years ago
- Materials accompanying "Implementing an Elliptic Curve in Go"☆13Updated 7 years ago
- ☆13Updated 3 years ago
- Scripts that I used to write a blog post about section 7.24.1(2) of C11☆11Updated 8 years ago
- cgo wrappers around post-quantum cryptography primitives☆23Updated 6 years ago
- Implementations of a fast Elliptic-curve Diffie-Hellman primitive☆26Updated 10 years ago
- Updated! (Dec2-2019) This is a C-language software library that provides optimized implementations of the Diffie-Hellman functions known …☆44Updated last year
- Code for the post "Elliptic Curves as Python Objects" implementing elliptic curve point addition over rational numbers.☆20Updated 4 years ago
- ☆33Updated 3 years ago
- Frobenius Additive Fourier Transform☆13Updated 4 months ago
- An Operating Function☆330Updated 10 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 3 years ago
- Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected softw…☆67Updated last month
- Monero wallet Trezor integration documentation☆16Updated 4 years ago
- APRICOT: Advanced Protocols for Real-world Implementation of Computational Oblivious Transfers☆16Updated 8 years ago
- Optimized Circuit Generation for Secure Multiparty Computation☆12Updated 5 years ago
- ☆9Updated 2 years ago
- Python bindings to the Crypto++ library☆49Updated last year
- Experiments in high-assurance crypto.☆47Updated 2 years ago
- ☆14Updated this week
- Super Amazing Universal Composability, Yeah!☆34Updated 3 years ago
- Introduction to Secure Multi-Party Computations☆16Updated 6 years ago