Pinned Repositories
qemu-hypercall
blindside
dangsan
memsentry
Open-source release for MemSentry (EuroSys'17)
midfat
minesweeper
Tools used for MineSweeper project
revanc
Reverse Engineering Page Table Caches in Your Processor
safeinit
SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
trrespass
TRRespass
typesan
TypeSan checks casts in C++ code - code released for CCS 2016