Bill Harris

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 4

Top Topics

Domain Independent

Domain Specific Knowledge

Top Venues

Proc. ACM Program. Lang.

USENIX Security Symposium

Publications

Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David A. Holland, Benoît Razet, Cole Schlesinger, Simon Winwood
Daedalus: Safer Document Parsing. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Ashish Kumar, Bill Harris, Gang Tan
DISV: Domain Independent Semantic Validation of Data Files. SP Workshops (2023)
Santiago Cuéllar, Bill Harris, James Parker, Stuart Pernsteiner, Eran Tromer
Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities. CoRR (2023)
Santiago Cuéllar, Bill Harris, James Parker, Stuart Pernsteiner, Eran Tromer
Cheesecloth: Zero-Knowledge Proofs of Real World Vulnerabilities. USENIX Security Symposium (2023)
Brian Dipert, Danesh Tavana, Barry K. Britton, Bill Harris, Bob Boderson, Chris Rowen
Future systems-on-chip: software of hardware design? (panel session). DAC (2000)