Runtime Verification with Patrick MacKay and Everett Hildenbrandt

We can't be sure that blockchain systems are secure unless they are built on good code and audited to make sure everything runs according to the intent of the designers. That's where Runtime Verification comes in - a software company right here in Champaign-Urbana developing and using runtime verification-based techniques to perform security audits on virtual machines and smart contracts on public blockchains.

For the time being, blockchain safety tests are mostly lightweight static analysis tests (testing only the internal logic of source code), while dynamic analysis test (using the data generated as the codes are compiled and executed) increases coverage to find bugs as opposed to static analysis tests. Runtime Verification is a global leader in formal verification and is capable of directly verifying compiled binary code. Compared to the formal verification of source code, this catches bugs that are otherwise missed due to miscompilation.

Joining us will be Patrick MacKay (COO) and Everett Hildenbrandt (CTO) of the company. Prior to joining RV Patrick was the founding Director and General Manger for Capital One’s Illinois Digital Campus Lab, the bank's first R&D operation located on a university campus. Everett is a formal modeling engineer who studied at the UI Computer Science program. His interests include automated system analysis via symbolic model checking, rigorous software development via carefully designed development practices.

Runtime Verification Homepage: https://runtimeverification.com/