
sgxray
Automated reasoning tool based on the SMACK verifier that detects SGX enclave bugs from trusted boundary violations, including invalid pointer…

Automated reasoning tool based on the SMACK verifier that detects SGX enclave bugs from trusted boundary violations, including invalid pointer…

GoTEE - example application

OWASP framework cataloging the top 10 security risks in neocloud and AI data center infrastructure, covering hardware, networking, isolation,…

Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are disabled. Please only use…

ZoneMinder is a free, open source Closed-circuit television software application developed for Linux which supports IP, USB and Analog cameras.

Gentoo overlay for security tools as well as the heart of the Pentoo Livecd

Minimalistic VT-x hypervisor for Windows x64 providing syscall, MSR, IDT, and kernel inline hooks plus EPT-based page substitution and TLB splitting.

A fuzzer for full VM kernel/driver targets

Microsoft's curated repository of secure boot objects (KeK, Db, Dbx) for firmware and runtime, enabling transparent revocation updates and…

Cryptographic and general-purpose routines for Secure Systems Lab projects at NYU

FPGA based microcomputer sandbox for software and RTL experimentation

Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing

Reverse Engineering and Observability toolkit for Draytek firewalls

Tools for analyzing Canon Pixma printer firmware

POC for CVE-2025-24132 (AirBourne). Currently just triggers the overflow and causes a crash

Legion is a Zero-Knowledge Authentication Fabric built for privacy

Zig Hardware Security Module library for PIV, CAC, and YubiKey tokens via PC/SC. Supports certificates, PIN management, signing, and decryption.

Assesses a system for the "speculative execution" vulnerabilities described in CVE-2017-5715, CVE-2017-5753, CVE-2017-5754