Our Chief Researcher, Karthik, is giving an invited talk today at VSTT in Prague! He will delve into the fascinating world of modern cryptography and software verification and discuss how formal verification is being used to improve the security of real-world systems.