Skip to content

Sorren Hanvey

  • PhD
  • Post-Doctoral Researcher
  • University of Limerick
  • 4PublicationsNumber of items in Sorren's My Publications folder on Mendeley.
  • 3Followers

Research interests

Formal MethodsDigital ForensicsSecurityPrivacy

About

I am a Post-Doctoral researcher at LERO (Ireland) and am based at the University of Limerick. I have been part of LERO since July 2014. I have previously worked for the Madeira Interactive Technologies Institute, Portugal and Critical Software Technologies Ltd., UK. My research interests include Formal Methods based Privacy, Security and Adaptation focused on Social Networks, the Cloud and Cyber-Physical systems.

Followers (3)

Following (2)

Publications (4)

  • Identifying Transitivity Threats in Social Networks

    • Hanvey S
    • Cataño N
    N/AReaders
    N/ACitations
  • On the Use of Formal Methods to Enforce Privacy-Aware Social- Networking

    • Collazos N
    N/AReaders
    N/ACitations
  • Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies

    • Cataño N
    • Hanvey S
    • Rueda C
    N/AReaders
    N/ACitations
  • Verification of JML Generic Types with Yices

    • Cataño N
    • Rueda C
    • Hanvey S
    N/AReaders
    N/ACitations

Professional experience

Post-Doctoral Researcher

University of Limerick

July 2014 - Present

Research Assistant

Universidade da Madeira

October 2009 - May 2013(4 years)

Education history

PhD Software Engineering

Universidade da Madeira

October 2009 - February 2013(3 years)

MSc Software Engineering

University of York

October 2006 - September 2007(a year)

BSc Computer Science

University of Pune School of Science

July 2003 - June 2006(3 years)