William R. Harris
Papers
1
Total Citations
8
H-Index
1
About
William R. Harris is a leading researcher in computer security and formal verification, with a focus on hardware security and the automated analysis of information flow. His work addresses critical challenges in modern computing, particularly the security of reprogrammable hardware and the compositional verification of sequential logic. Harris is best known for his pioneering contributions to automatically synthesizing relational invariants to prove flow security, a technique that enables rigorous, machine-checked guarantees about when and how hardware modules release information. His most-cited paper, "Proving Flow Security of Sequential Logic via Automatically-Synthesized Relational Invariants" (2017), with 8 citations, introduces a method that bridges the gap between formal methods and practical hardware design, allowing for the verification of dynamic security properties in systems built from diverse, untrusted components. This work is notable for its potential to secure critical infrastructure and embedded systems against information leakage. Harris's research has significant implications for the design of trustworthy hardware, and his contributions continue to influence both academic research and industry practices in secure system design.
Research Focus
Key Achievements
Top Papers
- 1