Liverpool Skyline

School of Computer Science and Mathematics

Dr Sorren Hanvey

Dr Sorren Hanvey

Telephone: 0151 904 6160

ORCID

Publications

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

Conference publication

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

Grispos G, Hanvey S, Nuseibeh B. Use of organisational topologies for forensic investigations Proceedings of the 1st ACM SIGSOFT International Workshop on Software Engineering and Digital Forensics - SERF 2017, the 1st ACM SIGSOFT International Workshop DOI

Hanvey S, Catano N. 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) DOI

Journal article

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

Patent

Hanvey S, Mcgloin M, Pieczul O, Nuseibeh B, Garcia Galan J. 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