Formal Methods

Past Presentations

Assuring Crypto Code with Automated Reasoning

Bugs in software are ubiquitous, but the impact of these bugs can vary widely. Sometimes they are largely benign, and at other times they can have catastrophic effects. Bugs in cryptographic software tend to be especially serious. To add to that, cryptographic algorithms are difficult to design...

Aaron Tomb Research Lead, Software Correctness @Galois

Less than

0

weeks until QCon London 2022

Registration is £1990.00 (£0 off) for the 3-day conference if you register before Jan 1st
SAVE YOUR SEAT

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.