Biblio

Luick D, Kolesar JC, Antonopoulos T, Harris WR, Parker J, Piskac R, Tromer E, Wang X, Luo N.  2024.  ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge. 33rd USENIX Security Symposium (USENIX Security 24). :3837--3845.

• Google Scholar
• DBLP
• BibTeX

Cuéllar S, Harris B, Parker J, Pernsteiner S, Tromer E.  2023.  Cheesecloth: Zero-Knowledge Proofs of Real World Vulnerabilities. 32nd USENIX Security Symposium (USENIX Security 23). :6525--6540.

• Google Scholar
• DBLP
• BibTeX

Rosen MB, Parker J, Malozemoff AJ.  2021.  Balboa: Bobbing and Weaving around Network Censorship. 30th USENIX Security Symposium (USENIX Security 21). :3399--3413.

• Google Scholar
• DBLP
• BibTeX

Votipka D, Fulton KR, Parker J, Hou M, Mazurek ML, Hicks M.  2020.  Understanding security mistakes developers make: Qualitative analysis from Build It, Break It, Fix It. 29th USENIX Security Symposium (USENIX Security 20). :109--126.

• Google Scholar
• DBLP
• BibTeX

Ruef A, Hicks M, Parker J, Levin D, Memon A, Plane J, Mardziel P.  2015.  Build It Break It: Measuring and Comparing Development Security. 8th Workshop on Cyber Security Experimentation and Test (CSET 15).

• Google Scholar
• DBLP
• BibTeX