- Note on Digfuzz Hybrid Fuzzing Scheduling
- Sonata Telemetry System Paper Review
- StarFlow Telemetry System Paper Review
- Software-defined Exchange Point Paper Review
- Google B4 SDN-based WAN Paper Review
- Onix SDN Paper Review
- Breaking UCSB.edu for Fun
- Note on Hoare Triple Paper
- Note on Neural Network Verification / Reluplex Paper
- Review of Serval System Code Verification Paper
- Review of CDCL-driven Program Synthesis Paper
- Review of Rosette Symbolic Virtual Machine Paper
- CSAW CTF 2020 WebRTC Writeup
- Notes on Convex Optimizatioon
- WeCTF 2020, writeups and cliches