Formal bytes: The Axiomise Podcast Channel
Technology
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.
Create your
podcast in
minutes
It is Free