crocs-muni / eacirc
Automatic problem solver based on circuit-like representation and genetic programming
☆13Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for eacirc
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 6 years ago
- A research project on isomorphisms of finite fields☆16Updated 6 years ago
- Scripts that I used to write a blog post about section 7.24.1(2) of C11☆11Updated 8 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 5 years ago
- Successor to PolyBoRi☆17Updated last year
- Circuits for functions of interest to cryptography☆27Updated 9 months ago
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆28Updated 6 years ago
- Multiplication using AVX512 and AVX512IFMA instructions☆23Updated 9 years ago
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆28Updated 5 years ago
- Experimental bed to study Linux faults☆25Updated 2 years ago
- Sort-of GNU C99 Declaration Parser☆11Updated 5 years ago
- Rigorous computation of the endomorphism ring of a Jacobian☆10Updated 2 months ago
- Vectorized xorshift and xoroshiro uniform/binomial RNGs☆9Updated 8 years ago
- Cython wrappers for Google's sparsehash library, and the murmur hash functions☆17Updated 10 years ago
- An ENGINE gluing together OpenSSL and NaCl-derived crypto.☆18Updated last year
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated 5 months ago
- A small little tool for dumping a floating-point number in its native format☆55Updated 9 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
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated last year
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 2 years ago
- ☆9Updated last year
- DEciding Equivalence Properties in SECurity protocols☆17Updated last year
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆22Updated 3 months ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 5 years ago
- C version of the MetroHash function☆26Updated 9 years ago
- Materials accompanying "Implementing an Elliptic Curve in Go"☆13Updated 7 years ago
- cysignals: interrupt and signal handling for Cython. Source repository for https://pypi.org/project/cysignals/☆43Updated this week
- Automatic differentiation for NumPy☆42Updated 11 years ago