crocs-muni / eacirc
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
- 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
- ☆12Updated 4 years ago
- Sort-of GNU C99 Declaration Parser☆11Updated 5 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
- A research project on isomorphisms of finite fields☆16Updated 6 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 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
- A user-first approach to threat modeling.☆17Updated last week
- Materials accompanying "Implementing an Elliptic Curve in Go"☆13Updated 7 years ago
- Successor to PolyBoRi☆19Updated 5 months ago
- Experiments in high-assurance crypto.☆47Updated 2 years ago
- ☆13Updated 3 years ago
- C++ library for evaluating arithmetic circuits on batches of inputs☆15Updated 8 years ago
- Computer Security Class - Department of Informatics and Telecommunications, University of Athens☆12Updated 8 years ago
- A Python implementation of the SPHINCS-256 scheme☆15Updated 9 years ago
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆30Updated last week
- Updated! (Dec2-2019) This is a C-language software library that provides optimized implementations of the Diffie-Hellman functions known …☆44Updated last year
- Architectural Framework For Integrated Refinement Modeling☆11Updated 7 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 2 years ago
- Rigorous computation of the endomorphism ring of a Jacobian☆10Updated last month
- Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected softw…☆67Updated last week
- An authenticated data structure based on a red-black tree.☆54Updated 9 years ago
- Links to stuff arising from or related to the HACS workshop.☆34Updated 7 years ago
- Randomness testing toolkit automates running and evaluating statistical testing batteries☆17Updated last year
- Experimental operating system for deterministic parallel computing☆38Updated 10 years ago
- cgo wrappers around post-quantum cryptography primitives☆23Updated 6 years ago
- Scripts that I used to write a blog post about section 7.24.1(2) of C11☆11Updated 8 years ago
- Circuits for functions of interest to cryptography☆27Updated last year
- ☆24Updated 3 years ago