Sorren Christopher Hanvey
AuthID: R-000-XQB
1
TITLE: Identifying Transitivity Threats in Social Networks
AUTHORS: Sorren Hanvey; Nestor Catano;
PUBLISHED: 2015, SOURCE: International Workshop on TEchnical and LEgal aspects of data pRIvacy and SEcurity in 2015 IEEE/ACM 1ST INTERNATIONAL WORKSHOP ON TECHNICAL AND LEGAL ASPECTS OF DATA PRIVACY AND SECURITY TELERISE 2015
AUTHORS: Sorren Hanvey; Nestor Catano;
PUBLISHED: 2015, SOURCE: International Workshop on TEchnical and LEgal aspects of data pRIvacy and SEcurity in 2015 IEEE/ACM 1ST INTERNATIONAL WORKSHOP ON TECHNICAL AND LEGAL ASPECTS OF DATA PRIVACY AND SECURITY TELERISE 2015
2
TITLE: On the use of formal methods to enforce privacy aware social networking
AUTHORS: Collazos, NC; Hanvey, SC; Calderon, CR;
PUBLISHED: 2013, SOURCE: Social Network Engineering for Secure Web Data and Services
AUTHORS: Collazos, NC; Hanvey, SC; Calderon, CR;
PUBLISHED: 2013, SOURCE: Social Network Engineering for Secure Web Data and Services
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef3
TITLE: Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies
AUTHORS: Nestor Catano ; Sorren Hanvey; Camilo Rueda;
PUBLISHED: 2012, SOURCE: 50th International Conference on Objects, Models, Components, Patterns (TOOLS) in OBJECTS, MODELS, COMPONENTS, PATTERNS, TOOLS 2012, VOLUME: 7304
AUTHORS: Nestor Catano ; Sorren Hanvey; Camilo Rueda;
PUBLISHED: 2012, SOURCE: 50th International Conference on Objects, Models, Components, Patterns (TOOLS) in OBJECTS, MODELS, COMPONENTS, PATTERNS, TOOLS 2012, VOLUME: 7304
INDEXED IN: Scopus 
WOS
Scopus WOS4
TITLE: Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies
AUTHORS: Néstor Cataño; Sorren Hanvey; Camilo Rueda;
PUBLISHED: 2012, SOURCE: Objects, Models, Components, Patterns - Lecture Notes in Computer Science
AUTHORS: Néstor Cataño; Sorren Hanvey; Camilo Rueda;
PUBLISHED: 2012, SOURCE: Objects, Models, Components, Patterns - Lecture Notes in Computer Science
INDEXED IN: CrossRef
CrossRef5
TITLE: Verification of JML generic types with Yices
AUTHORS: Catano, N ; Rueda, C; Hanvey, S;
PUBLISHED: 2011, SOURCE: 2011 6th Colombian Computing Congress, CCC 2011 in 2011 6th Colombian Computing Congress, CCC 2011
AUTHORS: Catano, N ; Rueda, C; Hanvey, S;
PUBLISHED: 2011, SOURCE: 2011 6th Colombian Computing Congress, CCC 2011 in 2011 6th Colombian Computing Congress, CCC 2011
INDEXED IN: Scopus CrossRef
Scopus CrossRef6
TITLE: Verification of JML Generic Types with Yices
AUTHORS: Nestor Catano; Camilo Rueda; Sorren Hanvey;
PUBLISHED: 2011, SOURCE: 6th Colombian Computing Congress (CCC) in 2011 6TH COLOMBIAN COMPUTING CONGRESS (CCC)
AUTHORS: Nestor Catano; Camilo Rueda; Sorren Hanvey;
PUBLISHED: 2011, SOURCE: 6th Colombian Computing Congress (CCC) in 2011 6TH COLOMBIAN COMPUTING CONGRESS (CCC)
INDEXED IN: WOS
WOS