ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.
☆19Aug 28, 2025Updated 6 months ago
Alternatives and similar repositories for prospect
Users that are interested in prospect are comparing it to the libraries listed below
Sorting:
- Source code of the U-TRR methodology presented in "Uncovering In-DRAM RowHammer Protection Mechanisms: A New Methodology, Custom RowHamme…☆17Nov 15, 2022Updated 3 years ago
- Group administration repository for Tech: IOPMP Task Group☆13Dec 19, 2024Updated last year
- The SpinalHDL design of the Proteus core, an extensible RISC-V core.☆61Jan 7, 2026Updated last month
- The top repository for the code accompanying our paper "Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Executi…☆16Aug 3, 2022Updated 3 years ago
- BU-maintained version of the Jailhouse partitioning hypervisor with real-time features☆16Feb 28, 2021Updated 5 years ago
- A set of synthetic benchmarks used in IEEE RTAS 2016 paper by Prathap et al.,☆18Feb 10, 2026Updated 2 weeks ago
- ☆23Jun 23, 2023Updated 2 years ago
- Template repository for a CG proposal or work item.☆17Aug 30, 2024Updated last year
- QARMA block cipher in C☆31Sep 10, 2022Updated 3 years ago
- Hyper-parallel ZK coprocessing.☆17Aug 29, 2025Updated 6 months ago
- ☆34Dec 14, 2025Updated 2 months ago
- ☆37Jun 19, 2019Updated 6 years ago
- Design and Verification of a Complete Application Specific Integrated Circuit☆12Nov 21, 2016Updated 9 years ago
- zkSnark circuit compiler☆12Feb 19, 2026Updated last week
- SonicBOOM Spectre Attacks☆10Jul 18, 2021Updated 4 years ago
- Multiplatform encrypted note-taking app with block-style editor☆16Sep 3, 2025Updated 5 months ago
- OpenTitan FI formal verification framework☆16Aug 29, 2023Updated 2 years ago
- Community edition of Nightfall_4☆16Updated this week
- Attribute-based Encryption Schemes☆10Nov 16, 2021Updated 4 years ago
- BUSted!!! Microarchitectural Side-Channel Attacks on the MCU Bus Interconnect☆11May 21, 2024Updated last year
- A Rust-based, bare-metal kernel implementing zero-trust execution, cryptographic self-measurement and capability-enforced isolation for N…☆38Updated this week
- Exports Apple Notes into Markdown using Rust and AppleScript☆14Mar 18, 2025Updated 11 months ago
- Implementation of the Idemix attribute based credential scheme used in IRMA☆11Dec 11, 2024Updated last year
- This repository contains numerous small utility packages. These packages serve various useful purposes and are written in nano ESModule w…☆10Feb 18, 2026Updated last week
- AIA IP compliant with the RISC-V AIA spec☆46Jan 27, 2025Updated last year
- Defeating Pointer Authentication on the Apple M1 with Hardware Attacks☆48Aug 12, 2022Updated 3 years ago
- ownCloud Server Documentation☆12Jan 25, 2026Updated last month
- A command line tool for creating, managing and distributing issued currencies and NFT's on the XRPL.☆12Dec 22, 2023Updated 2 years ago
- A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.☆11Jun 28, 2024Updated last year
- L2 bridging for ENS with onchain guarantees.☆11Feb 19, 2024Updated 2 years ago
- An erc-20 token with EIP750 style zk private transactions and a new nullifier scheme to allow partial spends☆11Apr 11, 2025Updated 10 months ago
- ☆15Dec 15, 2022Updated 3 years ago
- RISC-V Confidential VM Extension☆13Jan 14, 2026Updated last month
- Terminal UI based ethereum wallet (WIP)☆17Dec 30, 2025Updated 2 months ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- Cycle-accurate Game Boy emulation☆11Feb 12, 2026Updated 2 weeks ago
- A quick fix model for the Charm BubbleTea ecosystem.☆15Nov 27, 2025Updated 3 months ago
- RLN circuits in Noir☆13Nov 18, 2023Updated 2 years ago
- Pure Rust implementation of the post-quantum secure digital signature scheme FAEST☆16Feb 19, 2026Updated last week