Final Project Reports

Modeling Argon 2i: Pebbling Bounds for Grid DAGs

Srinivas Arun, Jordan Lefkowitz, Derek Liu

Security Analysis of the audiowmark Scheme

Karen Guo, Selinna Lin, Jolin Yang, Angela Zhang

Beaver Triple Preprocessing For Efficient Decentralized Matching

Evelyn Lianto, Vasawat Rawangwong

Attacks on Covert Computation in the Abstract Tile Assembly Model

Emma Fu, Timothy Gomez, Vihan Lakshman

Output Rounding Is Not a Free Defense Against Cryptanalytic Neural Network Extraction

Iliyas Noman, Mateja Vukelic, Vidur Jasuja

Encryption of NMEA-2000 for Maritime Cybersecurity

Justin Liaw

Full-Disk Encryption Systems: Architecture, Attacks, and AEGIS-Lock: A Threshold-Gated Protocol for Stronger Physical-Access Guarantees

Nico Mangiafico, Justin Zhang, Kevin Zhao

Singular Value Decomposition under Fully Homomorphic Encryption

Adhitya Mangudy Venkata Ganesh, Nicola Lawford, Ishan Satish Pednekar, Li Xuan Tan

Breaking Fine-Grained Cryptography (and How We Might Fix It)

Jakob Nogler, Nathan Sheffield, Zoe Xi

microLean and macroLean

Anthony Wang, Rey Li, Zach Marinov, Dan Klishch

Secret Coordinates: Keyed Symmetry Gauges for Edit-Resistant Open Weights

Ching Lam Choi

SimplePIR on Biometric Authentication

Zhiron Wu, Robin Xiong, Catherine Zhu

ZK Battleship

Timothy Mathew, Varun Sangtani, Zachary S. Siegel, Aleksander T. Vestlund

Zero-Knowledge Proofs of Online Fairness

Sejal Rathi, Mairin O'Shaughnessy, Lillian Wang, Katherine Yan

Course website design courtesy of PDOS and Katrina LaCurts.