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☆14Oct 19, 2021Updated 4 years ago
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Feb 23, 2023Updated 3 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 5 years ago
- ☆15Jan 23, 2026Updated last month
- ☆18Feb 27, 2026Updated last week
- DEciding Equivalence Properties in SECurity protocols☆20Mar 1, 2023Updated 3 years ago
- 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 month
- Supersingular Isogeny-Based Cryptography constructions (python-code library)☆51Aug 5, 2022Updated 3 years ago
- Formal Analysis of the PQXDH Protocol☆30Jun 6, 2024Updated last year
- Sage implementation of the isogeny-and-pairing based VDF☆25Feb 25, 2021Updated 5 years ago
- Lecture notes on the Foundations of Isogeny-based Cryptography☆33Sep 5, 2024Updated last year
- Quantum implementation of elliptic curve primitives☆34May 20, 2022Updated 3 years ago
- This RocketchatApp validates uploaded images against the Microsoft PhotoDNA cloud service and quarantines those identified as child abuse…☆12Nov 17, 2025Updated 3 months ago
- Matrix Product State algorithm for computing characters of the symmetric group S_n☆11Sep 26, 2025Updated 5 months ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆42May 29, 2024Updated last year
- Experiments with Universal Composability in EasyCrypt☆44Updated this week
- ☆12Nov 11, 2022Updated 3 years ago
- ☆14Apr 14, 2025Updated 10 months ago
- ☆12Oct 3, 2020Updated 5 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 4 months ago
- 🔒 A Node.js ransomware implementation.☆11Jun 17, 2021Updated 4 years ago
- High Assurance Cryptographic Software☆10Dec 23, 2025Updated 2 months ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆11Nov 2, 2024Updated last year
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago
- ☆11Dec 3, 2020Updated 5 years ago
- Hardware-tailored grouping for Pauli measurements.☆13Nov 28, 2025Updated 3 months ago
- ☆11Aug 15, 2023Updated 2 years ago
- NewHope key exchange mechanism implementation on Cortex-M series microcontrollers.☆13Aug 4, 2016Updated 9 years ago
- ♥ ♥ ♥ Trevor's & Moxie's Axolotl Ratchet + AGL's xmpp-client ♥ ♥ ♥☆12Jan 27, 2015Updated 11 years ago
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 7 years ago
- Large-Scale Graph Inference☆12Nov 6, 2024Updated last year
- Post-quantum Wireguard (Theory)☆12Sep 9, 2020Updated 5 years ago
- A natural language parser for dates, times and intervals.☆12Nov 15, 2025Updated 3 months ago
- Patch files to allow post-quantum OQS key exchange libraries to be used with OpenSSH☆16Aug 30, 2022Updated 3 years ago
- Code accompanying the paper "ApresSQI: Extra Fast Verification for SQIsign Using Extension-Field Signing".☆10Mar 30, 2025Updated 11 months ago