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.