Episode 32: A fireside chat with Rajat Swarup

Formal bytes: The Axiomise Podcast Channel - A podcast by Axiomise

Categories:

Dr. Darbari got together with Rajat Swarup - a cyber-security expert and ex-Director of Information Security, Blackrock. We talk about computer security, its origins, its impact on software, hardware security, and the role of formal methods. We ask Rajat about simple ways of keeping us safe.