Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities. - Cuéllar Gempeler, Santiago; Harris, Bill; Parker, James; Pernsteiner, Stuart; Sweet, Ian; Tromer, Eran (ACM Transactions on Privacy & Security, 2025)