Pinned Repositories
awesome-llvm
A curated list of awesome LLVM related docs, tools, and other resources.
Bootloader
consensus-specs
Ethereum Proof-of-Stake Consensus Specifications
fuchsia-notes
Some random notes taken when reading through the Fuchsia source code
how2heap
A repository for learning various heap exploitation techniques.
KVM-learning
linux-insides
A little bit about a linux kernel
linux-sgx
Intel SGX for Linux*
osdev
Fourth rewrite of LevOS, aiming for POSIX compliance.
sgxrop
The code to the SGX-ROP paper
IceCY's Repositories
IceCY/awesome-llvm
A curated list of awesome LLVM related docs, tools, and other resources.
IceCY/Bootloader
IceCY/consensus-specs
Ethereum Proof-of-Stake Consensus Specifications
IceCY/fuchsia-notes
Some random notes taken when reading through the Fuchsia source code
IceCY/how2heap
A repository for learning various heap exploitation techniques.
IceCY/KVM-learning
IceCY/linux-insides
A little bit about a linux kernel
IceCY/linux-sgx
Intel SGX for Linux*
IceCY/osdev
Fourth rewrite of LevOS, aiming for POSIX compliance.
IceCY/sgxrop
The code to the SGX-ROP paper
IceCY/simple-toolkit
some useful tools (collected or wrote)
IceCY/symbolic-execution
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
IceCY/symexbib
A bibliography of papers related to symbolic execution