I am a Senior Lecturer in the Department of Computer Science at University of Surrey. My research interests are in Secure Software Engineering, specifically automatic analysis and transformation of so...