papers
Publications (2)
cs.CR2023
Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities
Santiago Cuéllar, Bill Harris, James Parker +2
Currently, when a security analyst discovers a vulnerability in critical software system, they must navigate a fraught dilemma: immediately disclosing the vulnerability to the publ…
cs.PL2024
Crux, a Precise Verifier for Rust and Other Languages
Stuart Pernsteiner, Iavor S. Diatchki, Robert Dockins +6
We present Crux, a cross-language verification tool for Rust and C/LLVM. Crux targets bounded, intricate pieces of code that are difficult for humans to get right: for example, cry…