amaloz / ae-generatorView external linksLinks
Authenticated encryption scheme prover/synthesizer
☆15Aug 25, 2022Updated 3 years ago
Alternatives and similar repositories for ae-generator
Users that are interested in ae-generator are comparing it to the libraries listed below
Sorting:
- Oblivious transfer library for rust☆11Dec 19, 2019Updated 6 years ago
- FutureTrust analyzes electronic identification (eID) services in Europe and beyond. It is funded within the EU Framework Programme for Re…☆12Nov 16, 2022Updated 3 years ago
- Proof-of-concept implementation of a cryptographic multilinear maps on the integers☆12Sep 23, 2021Updated 4 years ago
- An efficient software implementation of the block cipher PRESENT for 8-bit platforms☆14Jun 11, 2013Updated 12 years ago
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆13Feb 17, 2025Updated 11 months ago
- Some basic unsigned 128 bit math and bitwise operations implemented in go☆18Dec 27, 2014Updated 11 years ago
- Abusing U2F to 'store' a stable secret☆16Nov 23, 2015Updated 10 years ago
- Experimental High Assurance Cryptographic Library☆20Feb 1, 2016Updated 10 years ago
- Template repository for a CG proposal or work item.☆16Aug 30, 2024Updated last year
- Privacy-preserving Tor statistics aggregation tool that implements the secret-sharing variant of the PrivEx algorithm.☆26Sep 21, 2020Updated 5 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Apr 20, 2018Updated 7 years ago
- An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust.☆36Jan 17, 2020Updated 6 years ago
- SAW front end for the MIR language from rustc☆36Jan 12, 2021Updated 5 years ago
- A re-implementation of the Cuphead expert mode with all-new content☆12Nov 11, 2024Updated last year
- Hyper-parallel ZK coprocessing.☆17Aug 29, 2025Updated 5 months ago
- Links to stuff arising from or related to the HACS workshop.☆34Feb 9, 2018Updated 8 years ago
- Community edition of Nightfall_4☆15Feb 4, 2026Updated last week
- Compressed Bloom Filters (Golomb-compressed sequences, with indices)☆17May 19, 2013Updated 12 years ago
- Exports Apple Notes into Markdown using Rust and AppleScript☆14Mar 18, 2025Updated 10 months ago
- ReBucket: group panic()s by similarity☆12Nov 1, 2019Updated 6 years ago
- Implementation of the Idemix attribute based credential scheme used in IRMA☆11Dec 11, 2024Updated last year
- Sieve for Exchange but really just Perl doing HTTP requests☆12Sep 17, 2016Updated 9 years ago
- This repository contains numerous small utility packages. These packages serve various useful purposes and are written in nano ESModule w…☆10Jan 29, 2026Updated 2 weeks ago
- A Rust-based, bare-metal kernel implementing zero-trust execution, cryptographic self-measurement and capability-enforced isolation for N…☆37Feb 6, 2026Updated last week
- Attribute-based Encryption Schemes☆10Nov 16, 2021Updated 4 years ago
- Multiplatform encrypted note-taking app with block-style editor☆17Sep 3, 2025Updated 5 months ago
- A quick fix model for the Charm BubbleTea ecosystem.☆14Nov 27, 2025Updated 2 months ago
- L2 bridging for ENS with onchain guarantees.☆11Feb 19, 2024Updated last year
- We defined the interfaces of four Python classes, namely ABE, Authority, User, and init, using the Charm-Crypto framework.☆11Apr 1, 2023Updated 2 years ago
- Multi-party computation utilities toolkit for rust☆16Dec 19, 2019Updated 6 years ago
- An implementation of Publicly Verifiably Secret Sharing (PVSS) in Swift.☆12Nov 8, 2017Updated 8 years ago
- C++ high-performance micro web framework, built using libuv, a multi-platform support library with a focus on asynchronous I/O.☆11Jul 9, 2019Updated 6 years ago
- Semaphore v4 implemented in Rust☆10Oct 7, 2025Updated 4 months ago
- Hybrid typenum/const generic arrays☆20Feb 3, 2026Updated last week
- Load generator for graphite, Go-based.☆14May 31, 2017Updated 8 years ago
- Sources of the tusistor TUI app and the rusistor lib.☆13Dec 29, 2025Updated last month
- 📝 A generic list implementation in Go for easy functional programming☆11Aug 8, 2024Updated last year
- Notes relating to secure messaging☆19Jun 11, 2016Updated 9 years ago
- ansi contains a bunch of constants and possibly additional terminal related functionality in the future.☆15Nov 11, 2019Updated 6 years ago