IACR / latex-submit
Web server to receive uploaded LaTeX and execute it in a docker container.
☆11Updated this week
Alternatives and similar repositories for latex-submit:
Users that are interested in latex-submit are comparing it to the libraries listed below
- LaTeX Styles provided by Dagstuhl Publishing☆35Updated 2 months ago
- CryptoBib Database for Developers☆40Updated last week
- CryptoBib Main Repository for Developers☆18Updated 4 months ago
- An open source project for study S-boxes☆38Updated 2 years ago
- Successor to PolyBoRi☆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
- Supersingular Isogeny-Based Cryptography constructions (python-code library)☆48Updated 2 years ago
- Experiments with Universal Composability in EasyCrypt☆32Updated this week
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆24Updated last month
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆10Updated this week
- Implementation of Matsui's algorithm for finding the minimum number of active S-boxes.☆7Updated 6 years ago
- A lecture on quantum computing and symmetric-key cryptography at Chinese Academy of Sciences☆13Updated 4 years ago
- LaTeX package for typesetting pseudocode and cryptographic games☆157Updated last year
- CryptoBib BibTex files☆55Updated last week
- Repo for the implementation of the isogeny based signature scheme CSI-FiSh☆23Updated last year
- Lecture notes on the Foundations of Isogeny-based Cryptography☆28Updated 4 months ago
- A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.☆28Updated 2 months ago
- ☆11Updated last year
- Source codes for paper "An Algebraic Formulation of the Division Property: Revisiting Degree Evaluations, Cube Attacks, and Key-Independe…☆15Updated 4 years ago
- HAL: A Library for Homomorphic Authentication☆19Updated 7 years ago
- ☆10Updated 3 years ago
- Slides from talks and other materials related to post-quantum crypto☆12Updated 3 years ago
- Implementation of a pairing over a Barreto-Naehrig curve on top of OpenSSL.☆31Updated 8 years ago
- A Sage interface for FGb (Gröbner basis computations)☆34Updated 8 months ago
- SABER is a Module-LWR based KEM submitted to NIST☆49Updated 2 years ago
- Tool to find XOR differential and rotational-XOR characteristics of ARX primitives.☆29Updated last year
- A list of the state of IETF protocols and PQC☆48Updated this week
- ☆9Updated 5 years ago
- Deployments of fancy cryptography☆130Updated last week
- ☆30Updated 2 weeks ago