Projects and Close Readings in Software Systems:
Verified Systems

Projects

• “Verifying Information Confidentiality under Query Optimization in HotCRP”, Richard Cho and Dan Fu
  • Final project writeup
  • Code repository
  • Project proposal
• “Better Trust Zone: Verifying Security of Enclave-Aware Calculi”, Aaron Bembenek, Lily Tsai, and Ezra Zigmond
  • Final project writeup
  • Code repository
  • Project proposal
• “Real Fake DOMs: Verified Browser Rendering”, Jeffrey Cai and Jason Goodman
  • Final project writeup
  • Code repository
  • Project proposal (Goodman)
  • Hash table project proposal (Cai)
• “RoosterFS”, Rob Bowden, David Holland, and Eric Lu
  • Final project writeup
  • Code repository
  • Project proposal
• “BrainCoqulus: A Formally Verified Compiler of Untyped Lambda Calculus to Brainfuck”, Thomas Lively, Victor Domene, and Gabriel Guimaraes
  • Final project writeup
  • Code repository
  • Project proposal
• “STO Verification”, Jingmei Hu, Xueyuan Han, and Hao Bai
  • Final project writeup
  • Code repository
  • Project proposal