Dr Sorren Hanvey

Patent

Hanvey S, Mcgloin M, Pieczul O, Nuseibeh B, Garcia Galan J. 2020. Relevance of a Source Code Change to Compliance Requirements

Hanvey S, Olgierd P, Mcgloin M, Nuseibeh B, Garcia Galan J. Linking Source Code With Compliance Requirements

Conference publication

Peters F, Hanvey S, Veluru S, Mady AE-D, Boubekeur M, Nuseibeh B. 2018. Generating Privacy Zones in Smart Cities 2018 IEEE International Smart Cities Conference (ISC2), 2018 IEEE International Smart Cities Conference (ISC2) :1-8 DOI Publisher Url

Grispos G, Hanvey S, Nuseibeh B. 2017. Use of organisational topologies for forensic investigations Proceedings of the 1st ACM SIGSOFT International Workshop on Software Engineering and Digital Forensics, ESEC/FSE'17: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering :2-5 DOI Publisher Url

Hanvey S, Catano N. 2015. Identifying Transitivity Threats in Social Networks 2015 IEEE/ACM 1st International Workshop on TEchnical and LEgal aspects of data pRivacy and SEcurity, 2015 IEEE/ACM 1st International Workshop on Technical and Legal Aspects of Data Privacy and Security (TELERISE) :14-19 DOI Publisher Url

Catano N, Rueda C, Hanvey S. 2011. Verification of JML generic types with Yices 2011 6th Colombian Computing Congress (CCC), 2011 6th Colombian Computing Congress (CCC) :1-6 DOI Publisher Url

Journal article

Pasquale L, Hanvey S, Mcgloin M, Nuseibeh B. 2016. Adaptive evidence collection in the cloud using attack scenarios Computers & Security, 59 :236-254 DOI Publisher Url

Chapters

Hanvey S, Cataño Collazos N, Rueda Calderón C. 2015. On the Use of Formal Methods to Enforce Privacy-Aware Social Networking Standards and Standardization: Concepts, Methodologies, Tools, and Applications Information Resources Management Association (IRMA). IGI Global 9781466681118 DOI Publisher Url

Cataño N, Hanvey S, Rueda C. 2012. Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies Lecture Notes in Computer Science :9-16 Springer Berlin Heidelberg 9783642305603 DOI Publisher Url