Pinned Repositories
AFLplusplus
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
CompCert
The CompCert formally-verified C compiler
Isaiah-Elegy
A compiler designed for Mx* language.
keystone-runtime
Eyrie enclave runtime kernel
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.
NaiveBPF
A naive try.
Palantir
Prototype Implementation of "A Formal Approach to Multi-Layered Privileges for Enclaves" (NDSS 2025)
shadowbound
ShadowBound: Efficient Memory Protection through Advanced Metadata Management and Customized Compiler Optimization (USENIX Security 2024)
TAP-lambda
Formal Model of "A Formal Approach to Multi-Layered Privileges for Enclaves" (NDSS 2025)
YPU
A RISC-V toy-simulator, based on single-issue tomasulo algorithm.
arxgy's Repositories
arxgy/Palantir
Prototype Implementation of "A Formal Approach to Multi-Layered Privileges for Enclaves" (NDSS 2025)
arxgy/TAP-lambda
Formal Model of "A Formal Approach to Multi-Layered Privileges for Enclaves" (NDSS 2025)
arxgy/YPU
A RISC-V toy-simulator, based on single-issue tomasulo algorithm.
arxgy/NaiveBPF
A naive try.
arxgy/AFLplusplus
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
arxgy/CompCert
The CompCert formally-verified C compiler
arxgy/Isaiah-Elegy
A compiler designed for Mx* language.
arxgy/keystone-runtime
Eyrie enclave runtime kernel
arxgy/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.
arxgy/opensbi
RISC-V Open Source Supervisor Binary Interface
arxgy/sel4bench-manifest
Manifest of the seL4bench project, which contains microbenchmarks for seL4.
arxgy/shadowbound
ShadowBound: Efficient Memory Protection through Advanced Metadata Management and Customized Compiler Optimization (USENIX Security 2024)
arxgy/TAP