anishathalye / notaryLinks
Notary: A Device for Secure Transaction Approval 📟
☆28Updated 5 months ago
Alternatives and similar repositories for notary
Users that are interested in notary are comparing it to the libraries listed below
Sorting:
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏☆35Updated 5 months ago
- Tools for reasoning about circuits in Rosette/Racket 🔌☆19Updated 5 months ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆13Updated 2 years ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆62Updated last year
- Circuits for functions of interest to cryptography☆27Updated last year
- ☆9Updated 2 years ago
- ☆17Updated 3 years ago
- ☆23Updated 5 years ago
- ☆30Updated 3 years ago
- ☆18Updated last year
- Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.☆21Updated 2 years ago
- A repository of tools for verifying constant-timeness☆18Updated 5 months ago
- MAGE: Memory-Aware Garbling Engine☆26Updated 11 months ago
- XCrypto: a cryptographic ISE for RISC-V☆93Updated 2 years ago
- ABE GPSW scheme using BLS pairing implemented in Rust.☆15Updated 2 years ago
- Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready☆35Updated 4 years ago
- Tests for verifying compliance of RMM implementations☆18Updated last week
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆104Updated 2 years ago
- ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.☆18Updated 3 weeks ago
- Wycheproof for Rust☆19Updated 10 months ago
- Verifying OpenTitan☆26Updated last year
- Rust library for Intel TDX☆25Updated last month
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆12Updated 7 months ago
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- Verification-Driven Development☆21Updated 4 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆13Updated 4 years ago
- A library for synchronizing remote data with minimum communication.☆26Updated 2 years ago
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆38Updated 10 months ago
- Implementation of an RSA VDF evaluator targeting FPGAs.☆48Updated 5 years ago
- Verifying constant-time code with symbolic execution☆44Updated 3 years ago