cr-marcstevens / dblpbibtex
DBLP BibTeX - bibtex wrapper for automatic DBLP & IACR ePrint downloads
☆17Updated last year
Related projects: ⓘ
- M4GB: Efficient Groebner Basis algorithm☆53Updated 5 years ago
- Frobenius Additive Fourier Transform☆12Updated 6 years ago
- Analysis and generation of substitutions☆21Updated 2 years ago
- ☆20Updated this week
- ☆13Updated 2 years ago
- CryptoBib Database for Developers☆40Updated last week
- A research project on isomorphisms of finite fields☆16Updated 6 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆17Updated 6 years ago
- Lecture notes on the Foundations of Isogeny-based Cryptography☆27Updated 2 weeks ago
- ☆19Updated this week
- Classical simulator for Kuperberg's quantum collimation sieve, generalized to arbitrary finite cyclic groups and focused on CSIDH-512.☆14Updated 5 years ago
- Implementation of cryptographic program obfuscation☆41Updated 6 years ago
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Updated last week
- Generic server for collaborative code analysis☆12Updated 7 years ago
- A live preview for TikZ drawings☆20Updated last year
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆56Updated 2 weeks ago
- An Oblivious RAM program☆7Updated 9 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated 4 months ago
- M4RI is a library for fast arithmetic with dense matrices over GF(2)☆50Updated last month
- Basis Reduction Algorithms for Codes (LLL and more)☆26Updated 6 months ago
- CryptoBib Main Repository for Developers☆18Updated last month
- 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
- A Sage interface for FGb (Gröbner basis computations)☆30Updated 4 months ago
- Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers☆26Updated 7 years ago
- Successor to PolyBoRi☆17Updated last year
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆35Updated 2 years ago
- ☆13Updated 7 months ago
- Python code and tests for the post 'Programming with Finite Fields'☆47Updated 4 years ago
- A programming language to write bitsliced ciphers☆55Updated 2 weeks ago
- ☆11Updated 2 years ago