anishathalye / notaryLinks
Notary: A Device for Secure Transaction Approval 📟
☆28Updated 4 months ago
Alternatives and similar repositories for notary
Users that are interested in notary are comparing it to the libraries listed below
Sorting:
- Tools for reasoning about circuits in Rosette/Racket 🔌☆19Updated 4 months ago
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏☆33Updated 4 months ago
- ☆17Updated 3 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆13Updated 4 years ago
- Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready☆35Updated 4 years ago
- Circuits for functions of interest to cryptography☆27Updated last year
- RISC-V BSV Specification☆20Updated 5 years ago
- ☆10Updated last year
- ☆19Updated 10 years ago
- A tool for formally verifying constant-time software against hardware 🕰️☆10Updated 4 months ago
- Tests for verifying compliance of RMM implementations☆18Updated 4 months ago
- ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.☆18Updated 2 months ago
- My MEng thesis code - verifying a security property for an SoC with Rosette☆17Updated 4 years ago
- A Tool for the Static Analysis of Cache Side Channels☆40Updated 8 years ago
- Verifying OpenTitan☆26Updated last year
- XML representation of the x86 instruction set☆28Updated 2 weeks ago
- ☆30Updated 3 years ago
- [HISTORICAL] FIPS and higher-level algorithm tests for RISC-V Crypto Extension☆27Updated 11 months ago
- ☆9Updated 2 years ago
- CHERI-RISC-V model written in Sail☆60Updated last week
- Microscope: Enabling Microarchitectural Replay Attacks☆19Updated 5 years ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆62Updated last year
- Minimal RISC Extensions for Isolated Execution☆53Updated 5 years ago
- Multiplication using AVX512 and AVX512IFMA instructions☆23Updated 9 years ago
- Faster Montgomery and Joye ladder formulas for short Weierstrass elliptic curves☆20Updated 4 years ago
- MAGE: Memory-Aware Garbling Engine☆26Updated 10 months ago
- A low-level intermediate representation for hardware description languages☆28Updated 5 years ago
- Eyrie enclave runtime kernel☆36Updated last year
- A repository of tools for verifying constant-timeness☆18Updated 4 months ago
- COATCheck☆13Updated 6 years ago