School of Computing

Jul 13, 2018
11:00 - 12:00
Reasoning about Security Related Artifacts: Requirements, Regulations, and Breach Reports
School of Computing - Security Group Seminar
Speaker: Dr Özgür Kafalı (University of Kent, internal talk)


Modern information systems cannot be considered separately from their users. Secure and privacy-aware governance of such systems can only be achieved by combining technical solutions regarding software components with the regulation of interactions among users. In the first part of the talk, I will begin with reviewing computational models to achieve such regulation. I will then describe how such models can be used to reason about security breaches. I will report our results from a case study on the US healthcare regulations (HIPAA) and associated breaches (HHS). In the second part of the talk, I will review potential extensions and impact of our research.


Özgür Kafalı is a Lecturer at the School of Computing at University of Kent. He received his BS, MS, and PhD degrees from Bogazici University, Turkey. He previously worked as a Postdoctoral Researcher at the Department of Computer Science, Royal Holloway, University of London and at the Department of Computer Science, North Carolina State University. His research interests include Artificial Intelligence, Security & Privacy, Multi-Agent Systems, and Computational Logic. He serves as a program committee member for the international conferences AAAI, IJCAI, AAMAS, and ECAI. He also serves as a reviewer for international journals.


Cornwallis South West,
University of Kent,
United Kingdom


Open to everyone, especially those interested in security research,


Contact: Budi Arief

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 14/08/2015