Stars
This project hosts security advisories and their accompanying proof-of-concepts related to research conducted at Google which impact non-Google owned code.
A high-performance distributed file system designed to address the challenges of AI training and inference workloads.
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
A practical attack framework for precise enclave execution control
Tricks you wish the Coq manual told you [maintainer=@tchajed]
Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)
Medusa Repository: Transynther tool and Medusa Attack
Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.
ListDB: Union of Write-Ahead Logs and Persistent SkipLists for Incremental Checkpointing on Persistent Memory
An open-source microcontroller system based on RISC-V
How to make undergraduates or new graduates ready for advanced computer architecture research or modern CPU design
A repository for learning various heap exploitation techniques.
radius2 is a fast binary emulation and symbolic execution framework using radare2
RISC-V Open Source Supervisor Binary Interface
CXLMemSim: A pure software simulated CXL.mem for performance characterization
ChampSim is an open-source trace based simulator maintained at Texas A&M University and through the support of the computer architecture community.
A latex template for writing statement-of-purpose for many schools at the same time
Code from various chapters in OSTEP (http://www.ostep.org)
Projects for an undergraduate OS course