anishathalye / notaryLinks
Notary: A Device for Secure Transaction Approval 📟
☆28Updated 6 months ago
Alternatives and similar repositories for notary
Users that are interested in notary are comparing it to the libraries listed below
Sorting:
- ☆30Updated 3 years ago
- [HISTORICAL] FIPS and higher-level algorithm tests for RISC-V Crypto Extension☆27Updated last year
- Circuits for functions of interest to cryptography☆27Updated last year
- MAGE: Memory-Aware Garbling Engine☆26Updated last year
- ABE GPSW scheme using BLS pairing implemented in Rust.☆15Updated 2 years ago
- Minimal RISC Extensions for Isolated Execution☆53Updated 6 years ago
- ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.☆18Updated last month
- Performance Evaluation of SHA-256 using SHA New Instructions.☆43Updated 2 months ago
- Slides from talks and other materials related to post-quantum crypto☆12Updated 4 years ago
- XCrypto: a cryptographic ISE for RISC-V☆93Updated 2 years ago
- Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready☆35Updated 4 years ago
- Tools for reasoning about circuits in Rosette/Racket 🔌☆19Updated 6 months ago
- Faster Montgomery and Joye ladder formulas for short Weierstrass elliptic curves☆20Updated 5 years ago
- SDK for Keystone Enclave - ABI/SBI libraries and sample apps☆44Updated 2 years ago
- EN.601.741: Advanced Topics in Secure and Censorship-Resistant Communications☆15Updated 4 years ago
- Mix network simulator☆10Updated 3 years ago
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏☆35Updated 6 months ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆104Updated 2 years ago
- Solution to harden TLS security by storing private keys and delegating operations to the Trused Execution Environment☆12Updated 2 years ago
- Wycheproof for Rust