- 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
- Pyretic Control Plane Composing 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
- Fuzzing CORB for breaking browser side channel defense
- CSAW CTF 2020 WebRTC Writeup
- Notes on Convex Optimizatioon
- Note on Deemon CSRF Paper
- WeCTF 2020, writeups and cliches