Readings on: zero-knowledge proofs and software security

Candidate main reading: Ning Luo, Timos Antonopoulos, William R. Harris, Ruzica Piskac, Eran Tromer, and Xiao Wang. “Proving UNSAT in Zero Knowledge”. In ACM Conference on Computer and Communications Security (CCS), pages 2203–2217, Los Angeles, CA, November 2022.
[ACM DL]

Candidate main reading: Santiago Cuéllar, Bill Harris, James Parker, Stuart Pernsteiner, and Eran Tromer. “Cheesecloth: Zero-Knowledge Proofs of Real World Vulnerabilities”. In USENIX Security Symposium, August 2023.
[USENIX]