Sorren Christopher Hanvey
AuthID: R-000-XQB
1
TÃTULO: Identifying Transitivity Threats in Social Networks
AUTORES: Sorren Hanvey; Nestor Catano;
PUBLICAÇÃO: 2015, FONTE: 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
AUTORES: Sorren Hanvey; Nestor Catano;
PUBLICAÇÃO: 2015, FONTE: 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
TÃTULO: On the use of formal methods to enforce privacy aware social networking
AUTORES: Collazos, NC; Hanvey, SC; Calderon, CR;
PUBLICAÇÃO: 2013, FONTE: Social Network Engineering for Secure Web Data and Services
AUTORES: Collazos, NC; Hanvey, SC; Calderon, CR;
PUBLICAÇÃO: 2013, FONTE: Social Network Engineering for Secure Web Data and Services
INDEXADO EM: 
Scopus 
CrossRef
Scopus CrossRef3
TÃTULO: Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies
AUTORES: Nestor Catano ; Sorren Hanvey; Camilo Rueda;
PUBLICAÇÃO: 2012, FONTE: 50th International Conference on Objects, Models, Components, Patterns (TOOLS) in OBJECTS, MODELS, COMPONENTS, PATTERNS, TOOLS 2012, VOLUME: 7304
AUTORES: Nestor Catano ; Sorren Hanvey; Camilo Rueda;
PUBLICAÇÃO: 2012, FONTE: 50th International Conference on Objects, Models, Components, Patterns (TOOLS) in OBJECTS, MODELS, COMPONENTS, PATTERNS, TOOLS 2012, VOLUME: 7304
INDEXADO EM: Scopus 
WOS
Scopus WOS4
TÃTULO: Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies
AUTORES: Néstor Cataño; Sorren Hanvey; Camilo Rueda;
PUBLICAÇÃO: 2012, FONTE: Objects, Models, Components, Patterns - Lecture Notes in Computer Science
AUTORES: Néstor Cataño; Sorren Hanvey; Camilo Rueda;
PUBLICAÇÃO: 2012, FONTE: Objects, Models, Components, Patterns - Lecture Notes in Computer Science
INDEXADO EM: CrossRef
CrossRef5
TÃTULO: Verification of JML generic types with Yices
AUTORES: Catano, N ; Rueda, C; Hanvey, S;
PUBLICAÇÃO: 2011, FONTE: 2011 6th Colombian Computing Congress, CCC 2011 in 2011 6th Colombian Computing Congress, CCC 2011
AUTORES: Catano, N ; Rueda, C; Hanvey, S;
PUBLICAÇÃO: 2011, FONTE: 2011 6th Colombian Computing Congress, CCC 2011 in 2011 6th Colombian Computing Congress, CCC 2011
INDEXADO EM: Scopus CrossRef
Scopus CrossRef6
TÃTULO: Verification of JML Generic Types with Yices
AUTORES: Nestor Catano; Camilo Rueda; Sorren Hanvey;
PUBLICAÇÃO: 2011, FONTE: 6th Colombian Computing Congress (CCC) in 2011 6TH COLOMBIAN COMPUTING CONGRESS (CCC)
AUTORES: Nestor Catano; Camilo Rueda; Sorren Hanvey;
PUBLICAÇÃO: 2011, FONTE: 6th Colombian Computing Congress (CCC) in 2011 6TH COLOMBIAN COMPUTING CONGRESS (CCC)
INDEXADO EM: WOS
WOS