CMS Research Seminar: Provable Security and Verification – From Theory to Practice

Abstract: In this talk, Professor Ioana Boureanu will give an overview of her work that covers aspects of cryptographic models and proofs, as well as logic-based formal verification for security and privacy, primarily in cryptographic protocols. Professor Ioana Boureanu will cover aspects of theoretical developments, as well as applied verification with impact in standardisation process for instance for the payments industry and mobile networks.

Bio: Professor Ioana Boureanu is Professor of Secure Systems at University of Surrey and Director of Surrey Centre for Cyber Security. Her research focuses on formal approaches to security and privacy in computer science. She received a PhD from Imperial College London in 2011. Before joining Surrey, she worked as a researcher and professor in Switzerland, as well as a cryptography consultant in industry.