Yuqin Yan's repositories
AMDSEV
AMD Secure Encrypted Virtualization
awesome-zero-knowledge-proofs
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
linux
Linux kernel source tree
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
stacks-project
Repository for the Stacks Project
SVF
Static Value-Flow Analysis Framework for Source Code
chipyard
An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more
flink
Apache Flink
frameworks
Sample code and build environments for MPC frameworks
jdk
JDK main-line development https://openjdk.org/projects/jdk
llama
Inference code for LLaMA models
MP-SPDZ
Versatile framework for multi-party computation
nexmark
Benchmarks for queries over continuous data streams.
nvim-config
A modern Neovim configuration with full battery for Python, C++, Markdown, LaTeX, and more...
occlum
Occlum is a memory-safe, multi-process library OS for Intel SGX
ovmf
EDK2 / OVMF related projects
Pensieve
This repository provides Pensieve, a security evaluation framework for microarchitectural defenses against speculative execution attacks.
qemu
Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
rocksdb
A library that provides an embeddable, persistent key-value store for fast storage.
sca-fuzzer
Revizor - a fuzzer to search for microarchitectural leaks in CPUs
seL4
The seL4 microkernel
sev-step
This repo tracks a compatible state of all sev step components and contains script to easily install everything required to setup a sev vm
sev-step-userland
This repo contains the userspace library of the sev step framework
spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
spectre-meltdown-checker
Downfall, Zenbleed, ZombieLoad, RIDL, Fallout, Foreshadow, Spectre, Meltdown vulnerability/mitigation checker for Linux & BSD
tdx-module
Trust Domain Extensions (TDX) is introducing new, architectural elements to help deploy hardware-isolated, virtual machines (VMs) called trust domains (TDs). Intel TDX is designed to isolate VMs from the virtual-machine manager (VMM)/hypervisor and any other non-TD software on the platform to protect TDs from a broad range of software.
TruthfulQA
TruthfulQA: Measuring How Models Imitate Human Falsehoods