FESTA-PKE / FESTA-SageMathView external linksLinks
SageMath implementation of the Isogeny-Based PKE FESTA
☆10Aug 18, 2023Updated 2 years ago
Alternatives and similar repositories for FESTA-SageMath
Users that are interested in FESTA-SageMath are comparing it to the libraries listed below
Sorting:
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆15Oct 19, 2021Updated 4 years ago
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Feb 23, 2023Updated 2 years ago
- A BibTeX collection on Isogeny-based Cryptography☆18Jan 20, 2023Updated 3 years ago
- Slides from talks and other materials related to post-quantum crypto☆12Feb 20, 2021Updated 4 years ago
- ☆15Jan 23, 2026Updated 3 weeks ago
- DEciding Equivalence Properties in SECurity protocols☆20Mar 1, 2023Updated 2 years ago
- ☆18Feb 6, 2026Updated last week
- Implementation of the Groth16 zk-SNARK proving system☆21Jul 6, 2018Updated 7 years ago
- A rust and SageMath implementation of (2,2)-isogenies in the theta model☆25Jan 15, 2025Updated last year
- Proof assistant for qRHL☆22Feb 5, 2026Updated last week
- Supersingular Isogeny-Based Cryptography constructions (python-code library)☆51Aug 5, 2022Updated 3 years ago
- Sage implementation of the isogeny-and-pairing based VDF☆25Feb 25, 2021Updated 4 years ago
- Formal Analysis of the PQXDH Protocol☆30Jun 6, 2024Updated last year
- Lecture notes on the Foundations of Isogeny-based Cryptography☆32Sep 5, 2024Updated last year
- Quantum implementation of elliptic curve primitives☆33May 20, 2022Updated 3 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- This RocketchatApp validates uploaded images against the Microsoft PhotoDNA cloud service and quarantines those identified as child abuse…☆12Nov 17, 2025Updated 2 months ago
- Matrix Product State algorithm for computing characters of the symmetric group S_n☆11Sep 26, 2025Updated 4 months ago
- Experiments with Universal Composability in EasyCrypt☆43Updated this week
- ☆42May 29, 2024Updated last year
- ☆11Mar 18, 2025Updated 10 months ago
- Materials for the virtual NIMBLE workshop, May 26-28, 2021. For logistical information, please look below the file listing.☆14May 28, 2021Updated 4 years ago
- ♥ ♥ ♥ Trevor's & Moxie's Axolotl Ratchet + AGL's xmpp-client ♥ ♥ ♥☆12Jan 27, 2015Updated 11 years ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆11Nov 2, 2024Updated last year
- ☆11Dec 3, 2020Updated 5 years ago
- ☆13Nov 25, 2025Updated 2 months ago
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 7 years ago
- Patch files to allow post-quantum OQS key exchange libraries to be used with OpenSSH☆16Aug 30, 2022Updated 3 years ago
- ☆12Oct 3, 2020Updated 5 years ago
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago
- Conceal a disk partition from Windows☆13Feb 24, 2016Updated 9 years ago
- Code accompanying the paper "ApresSQI: Extra Fast Verification for SQIsign Using Extension-Field Signing".☆10Mar 30, 2025Updated 10 months ago
- Graph-theoretical optimization of fusion-based graph state generation☆10Jun 4, 2025Updated 8 months ago
- ☆14Apr 14, 2025Updated 10 months ago
- ☆10Jun 14, 2020Updated 5 years ago
- ☆11Aug 15, 2023Updated 2 years ago
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Oct 30, 2025Updated 3 months ago
- 🔒 A Node.js ransomware implementation.☆11Jun 17, 2021Updated 4 years ago
- ☆11Nov 11, 2022Updated 3 years ago