Dr. William Harrison works to ensure the security of electronic systems. As an Associate Professor of Computer Science at the University of Missouri, he studies issues in electronics that pertain to equipment which is in wide use throughout society.
In fact, for certain critical components it is required that their security is verified. That requirement motivated Dr. Harrison and his team to create ReWire, a programming language able to verify the security of electronic design.
ReWire combines mathematical logic with code and provides a method by which a designer can assess each step of design that goes into making a final piece of hardware. Bill talks with us about his motivation, background and the specifics behind designing an essential piece of security verification.