Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies. - Néstor Cataño; Sorren Hanvey; Camilo Rueda (TOOLS (50), 2012)

Formal methods for privacy aware social networking - Sorren Hanvey (2013)

Identifying Transitivity Threats in Social Networks. - Sorren Hanvey; Néstor Cataño (TELERISE@ICSE, 2015)

Adaptive evidence collection in the cloud using attack scenarios. - Liliana Pasquale; Sorren Hanvey; Mark Mcgloin; Bashar Nuseibeh (Comput. Secur., 2016)

Use of organisational topologies for forensic investigations. - George Grispos; Sorren Hanvey; Bashar Nuseibeh (SERF@ESEC/SIGSOFT FSE, 2017)

Generating Privacy Zones in Smart Cities. - Fayola Peters; Sorren Hanvey; Suresh Veluru 001; Alie El-Din Mady; Menouer Boubekeur; Bashar Nuseibeh (ISC2, 2018)

Privacy, Human Rights, and Web 3.0. - Danyella Johnston; Gyu Myoung Lee; Sorren Hanvey; Áine MacDermott (ITU K, 2024)