Highlights
Stars
A formally verified security module for AMD confidential VMs
This GitHub Action creates a GitHub contribution calendar on a 3D profile image.
🔑 SuperMicro 超微主板 IPMI 高级功能授权解锁 Key 生成工具
lightweight, standalone C++ inference engine for Google's Gemma models.
Unified API to Access TCG Compliant measurement, event log, quote in Confidential Computing Environment.
A very much WIP Diablo II packet injection botting engine, hopefully someday able to enable clientless operation.
GooFuzz is a tool to perform fuzzing with an OSINT approach, managing to enumerate directories, files, subdomains or parameters without leaving evidence on the target's server and by means of advan…
Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
Rust mid-level IR Abstract Interpreter
Confidential AI deployment with secure enclaves 🔒
The easiest, and most secure way to access and protect all of your infrastructure.
The book "Performance Analysis and Tuning on Modern CPU"
Containers for building the Linux kernel or other software with many different compilers
PCT-TEE: Private Contact Tracing with Trusted Execution Environment
Tear the firmware apart with your bare hands;-)