Pinned Repositories
AIM-Interrupt-Modeling
This is the source code for AIM paper (accepted to IEEE Transactions on Dependable and Secure Computing in 2023)
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Decaf_Compiler
A full-fledged compiler for a Java-like language
nautilus
a grammar based feedback fuzzer
SBUnix
A Unix-like operating system for x86-64
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
DICE-DMA-Emulation
DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis
OAT-Project
Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)
p2im
This is the source code for P2IM paper (accepted to Usenix Security'20)
p2im-real_firmware
Real firmware fuzz-tested in P2IM paper
bofeng17's Repositories
bofeng17/AIM-Interrupt-Modeling
This is the source code for AIM paper (accepted to IEEE Transactions on Dependable and Secure Computing in 2023)
bofeng17/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
bofeng17/Decaf_Compiler
A full-fledged compiler for a Java-like language
bofeng17/nautilus
a grammar based feedback fuzzer
bofeng17/SBUnix
A Unix-like operating system for x86-64