Research Park Events

View Full Calendar

Blockchain User Group: Runtime Verification with Patrick MacKay and Everett Hildenbrandt

Event Type
Conference/Workshop
Sponsor
EnterpriseWorks, Research Park
Virtual
wifi event
Date
Apr 16, 2021   12:00 - 1:00 pm  
Speaker
Patrick MacKay, Everett Hildenbrandt
Contact
Cathy McArthur
E-Mail
mcarthur@illinois.edu
Views
36

Join the Blockchain Meetup Group from 12-1PM on Friday, April 16. 

 

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/

 

This is group is for anyone interested in distributed ledger technology (i.e. blockchains, cryptography, smart contracts, decentralized applications (DApps) cryptocurrency/tokens, and relevant related subjects). Everyone is welcome! We will meet once a month and will have an educational component as well as a discussion component at our meetups. Join if you seek to learn about this industry and have a great time!

 

Our group is affiliated with the Blockchain Special Interest Group of the Association for Computer Machinery at the University of Illinois. Blockchain SIG members help manage the group, provide informational sessions, and coordinate special events.

 

For more information on this event, check out our Meetup Page here.

 

Be sure to check out the rest of our monthly tech meetup groups here.

 

If you have questions, or need accommodations for this event, please contact Cathy McArthur at mcarthur@illinois.edu. 

link for robots only