Hello! I'm a graduate computer science researcher in the PhD program at
Email: mds009@eng.ucsd.edu
GitHub: @spinda
Currently Working On:
-
Research: Cachet
(GitHub) -
Static checking for secure just-in-time compilers, using
Rust, Corral, Boogie, andZ3! Designing a language for building secure compilers, and using it to verify a fork of Firefox's JavaScript JIT. - Personal: SmartDry Lives!
- Reviving a dead IoT laundry sensor by hacking the firmware and reimplementing its cloud backend.
Fun Projects:
Publications:
-
PriSC 2023:
Cachet: A Domain-Specific Language for Trustworthy Just-In-Time Compilers
(PDF) -
PriSC 2023:
FaJITa: Verifying Optimizations on Just-In-Time Programs
(PDF) -
PETS 2022:
Blocked or Broken? Automatically Detecting When Privacy Interventions Break Websites
(PDF) -
ACM CCS 2021: SugarCoat: Programmatically Generating Privacy-Preserving, Web-Compatible Resource Replacements for Content Blocking
(PDF) -
USENIX WOOT 2018: Browser history
re :visited
(PDF)