latchset / crypto-auditing
Provides a way to monitor cryptographic operations performed on a system
☆14Updated 6 months ago
Alternatives and similar repositories for crypto-auditing:
Users that are interested in crypto-auditing are comparing it to the libraries listed below
- Linux kernel - See Landlock issues☆40Updated 2 weeks ago
- Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes☆25Updated 6 years ago
- A Confidential Computing-Aware Workload Repository☆10Updated this week
- A collection of high-performance crypto implementations.☆51Updated last week
- Tool for generating non-trivial X.509 certificate chains☆30Updated this week
- A more realistic demo of a buffer overflow cause by -ffast-math☆11Updated 2 years ago
- A Rust library for using Linux devicemapper☆73Updated this week
- A tweakable block cipher☆31Updated 11 months ago
- Usage of enabled-by-default hardening-related compiler flags across Linux distributions☆54Updated 2 months ago
- A collection of ideas for new kernel features☆54Updated 6 months ago
- A determinizing tracer using Ptrace☆37Updated 4 years ago
- A high level language for SELinux policy☆59Updated 2 months ago
- kdevops history tree - use new git tree☆46Updated last year
- A dynamic library bundling the guest payload consumed by libkrun☆87Updated last month
- program analysis for machine code☆35Updated 3 years ago
- A fair-share ratelimiter implemented as a BPF socket filter☆13Updated 2 years ago
- Make AES-GCM safe to use with random nonces, for any practical number of messages.☆18Updated last year
- Administrative utility for SEV-SNP☆32Updated 3 weeks ago
- TLS handshake utilities for in-kernel TLS consumers☆35Updated last month
- Github Actions wrapper for vmtest☆11Updated 3 months ago
- TPM 2.0 Implementation☆50Updated last week
- Rewritten Clevis TPM2 PIN☆16Updated last year
- Enabling continuous integration for patch-based development workflows.☆81Updated last year
- A DNS library for Rust.☆23Updated last month
- Dependency lockfiles for reproducible build environments 📦🔒☆43Updated 2 weeks ago
- Miscellaneous materials related to the "attested TLS" proof-of-concept☆19Updated last year
- DSL language to write seccomp filters☆37Updated last year
- A tool to help you understand TPM commands and responses.☆42Updated 5 months ago
- BTF introspection tool☆39Updated last month
- Reference implementations of post-quantum cryptographic primitives☆29Updated last year