William R. Harris

Publication Activity (10 Years)

Years Active: 1983-2024
Publications (10 Years): 7

Top Topics

Relational Learning

Knowledge Extraction

Security Systems

Top Venues

IACR Cryptol. ePrint Arch.

USENIX Security Symposium

Publications

Daniel Luick, John C. Kolesar, Timos Antonopoulos, William R. Harris, James Parker, Ruzica Piskac, Eran Tromer, Xiao Wang, Ning Luo
ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge. USENIX Security Symposium (2024)
Daniel Luick, John C. Kolesar, Timos Antonopoulos, William R. Harris, James Parker, Ruzica Piskac, Eran Tromer, Xiao Wang, Ning Luo
ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge. IACR Cryptol. ePrint Arch. 2023 (2023)
Ning Luo, Timos Antonopoulos, William R. Harris, Ruzica Piskac, Eran Tromer, Xiao Wang
Proving UNSAT in Zero Knowledge. IACR Cryptol. ePrint Arch. 2022 (2022)
Ning Luo, Timos Antonopoulos, William R. Harris, Ruzica Piskac, Eran Tromer, Xiao Wang
Proving UNSAT in Zero Knowledge. CCS (2022)
Hong Hu, Chenxiong Qian, Carter Yagemann, Simon Pak Ho Chung, William R. Harris, Taesoo Kim, Wenke Lee
Enforcing Unique Code Target Property for Control-Flow Integrity. CCS (2018)
William R. Harris, Somesh Jha, Thomas W. Reps, Sanjit A. Seshia
Program synthesis for interactive-security systems. Formal Methods Syst. Des. 51 (2) (2017)
Akhilesh Srikanth, Burak Sahin, William R. Harris
Complexity verification using guided theorem enumeration. POPL (2017)
William R. Harris, Somesh Jha, Thomas W. Reps, Jonathan Anderson, Robert N. M. Watson
Declarative, Temporal, and Practical Programming with Capabilities. IEEE Symposium on Security and Privacy (2013)
Florian Sagstetter, Martin Lukasiewycz, Sebastian Steinhorst, Marko Wolf, Alexandre Bouard, William R. Harris, Somesh Jha, Thomas Peyrin, Axel Poschmann, Samarjit Chakraborty
Security challenges in automotive hardware/software architecture design. DATE (2013)
Somesh Jha, Thomas W. Reps, William R. Harris
Secure programs via game-based synthesis. FMCAD (2013)
William R. Harris, Guoliang Jin, Shan Lu, Somesh Jha
Validating Library Usage Interactively. CAV (2013)
William R. Harris, Somesh Jha, Thomas W. Reps
Secure Programming via Visibly Pushdown Safety Games. CAV (2012)
Sumit Gulwani, William R. Harris, Rishabh Singh
Spreadsheet data manipulation using examples. Commun. ACM 55 (8) (2012)
William R. Harris, Sumit Gulwani
Spreadsheet table transformations from examples. PLDI (2011)
William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
Program analysis via satisfiability modulo path programs. POPL (2010)
William R. Harris, Somesh Jha, Thomas W. Reps
DIFC programs by automatic instrumentation. CCS (2010)
William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani
Alternation for Termination. SAS (2010)
William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps
Verifying Information Flow Control over Unbounded Processes. FM (2009)
William R. Harris
Mainframe response time measurement with a microcomputer. SIGUCCS (1983)