latchset / crypto-auditingLinks
Provides a way to monitor cryptographic operations performed on a system
☆19Updated last week
Alternatives and similar repositories for crypto-auditing
Users that are interested in crypto-auditing are comparing it to the libraries listed below
Sorting:
- A collection of high-performance crypto implementations.☆52Updated last month
- Tool for generating non-trivial X.509 certificate chains☆31Updated this week
- A suite of testvectors for X.509 certificate path validation and tools for building them☆55Updated last week
- MLS architecture☆74Updated 9 months ago
- Make AES-GCM safe to use with random nonces, for any practical number of messages.☆18Updated 3 months ago
- Bertie TLS 1.3 Implementation☆130Updated 3 months ago
- Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.☆65Updated this week
- A cache hard password hash/KDF☆48Updated last year
- Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes☆31Updated 7 years ago
- Receive and process logs from the Linux kernel.☆60Updated last month
- Initial discussions on signatures of WebAssembly modules.☆18Updated 3 years ago
- An open-source Unix operating system☆45Updated last week
- ipcrypt implementation in C☆33Updated 8 months ago
- Extended verification for git tags☆138Updated this week
- AES-GEM (AES Galois Extended Mode) implementation.☆13Updated this week
- Libraries and binaries for running witnesses for verifiable logs☆34Updated last week
- Generic Low Overhead Message Exchange (GLOME) is a protocol providing secure authentication and authorization for low dependency environm…☆66Updated last month
- Deploy self-contained binaries from GCP Container Registry (gcr.io) as systemd service units☆33Updated last year
- Entity Attestation Token IETF Draft Standard☆20Updated 8 months ago
- TSS 2.0 Enhanced System API (ESAPI) Rust wrapper☆118Updated this week
- Enabling continuous integration for patch-based development workflows.☆83Updated last year
- Linux kernel - See Landlock issues☆44Updated last month
- A dynamic library bundling the guest payload consumed by libkrun☆112Updated 3 weeks ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆67Updated last year
- CRYPTOGAMS distribution repository☆64Updated 4 months ago
- user space tool for inspection and simple manipulation of eBPF programs and maps☆25Updated 7 years ago
- ☆13Updated 4 years ago
- ☆118Updated 3 weeks ago
- Verifying constant-time code with symbolic execution☆46Updated 4 years ago
- Cryptography code examples using libsodium and mbedtls C libraries and Python cryptography and PyNaCl modules☆71Updated 6 years ago