ProfileOfResearchers

TITLE: State machine replication in containers managed by Kubernetes Full Text
AUTHORS: Hylson V Netto; Lau Cheuk Lung; Miguel Correia ; Aldelir Fernando Luiz; Luciana Moreira S Sa de Souza;
PUBLISHED: 2017, SOURCE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 73

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 25

IN MY:

ORCID |

DBLP

TITLE: T2Droid: A TrustZone-based Dynamic Analyser for Android Applications
AUTHORS: Sileshi Demesie Yalew; Gerald Q Maguire; Seif Haridi; Miguel Correia ;
PUBLISHED: 2017, SOURCE: 16th IEEE International Conference on Trust, Security and Privacy in Computing and Communications / The 11th IEEE International Conference on Big Data Science and Engineering / The 14th IEEE International Conference on Embedded Software and Systems in 2017 16TH IEEE INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS / 11TH IEEE INTERNATIONAL CONFERENCE ON BIG DATA SCIENCE AND ENGINEERING / 14TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS

INDEXED IN:

Scopus

WOS

DBLP

IN MY:

DBLP

TITLE: TruApp: A TrustZone-based authenticity detection service for mobile apps
AUTHORS: Sileshi Demesie Yalew; Pedro Mendonca; Gerald Q Maguire Jr.; Seif Haridi; Miguel Correia ;
PUBLISHED: 2017, SOURCE: 13th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2017 in 13th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2017, Rome, Italy, October 9-11, 2017, VOLUME: 2017-October

INDEXED IN:

Scopus

DBLP

IN MY:

DBLP

TITLE: TruApp: A TrustZone-based Authenticity Detection Service for Mobile Apps
AUTHORS: Sileshi Demesie Yalew; Pedro Mendonca; Gerald Q Maguire; Seif Haridi; Miguel Correia ;
PUBLISHED: 2017, SOURCE: 13th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) in 2017 IEEE 13TH INTERNATIONAL CONFERENCE ON WIRELESS AND MOBILE COMPUTING, NETWORKING AND COMMUNICATIONS (WIMOB)

INDEXED IN:

WOS

TITLE: Vulnerability-Tolerant Transport Layer Security
AUTHORS: André Joaquim; Miguel L Pardal; Miguel Correia ;
PUBLISHED: 2017, SOURCE: 21st International Conference on Principles of Distributed Systems, OPODIS 2017 in 21st International Conference on Principles of Distributed Systems, OPODIS 2017, Lisbon, Portugal, December 18-20, 2017, VOLUME: 95

INDEXED IN:

Scopus

DBLP

IN MY:

DBLP

TITLE: Xor-overlay Topology Management Beyond Kademlia
AUTHORS: Erick Lavoie; Laurie Hendren; Miguel Correia ;
PUBLISHED: 2017, SOURCE: 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO) in 2017 IEEE 11TH INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS (SASO)

INDEXED IN:

WOS

DBLP

IN MY:

DBLP

TITLE: DARSHANA: Detecting route hijacking for communication confidentiality
AUTHORS: Karan Balu; Miguel L Pardal; Miguel Correia ;
PUBLISHED: 2016, SOURCE: 15th IEEE International Symposium on Network Computing and Applications, NCA 2016, Cambridge, Boston, MA, USA, October 31 - November 2, 2016

INDEXED IN:

DBLP

CrossRef: 1

IN MY:

ORCID |

DBLP

TITLE: DARSHANA: Detecting Route Hijacking for Communication Confidentiality
AUTHORS: Karan Balu; Miguel L Pardal; Miguel Correia ;
PUBLISHED: 2016, SOURCE: 15th IEEE International Symposium on Network Computing and Applications (IEEE NCA) in 15TH IEEE INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (IEEE NCA 2016)

INDEXED IN:

Scopus

WOS

TITLE: DEKANT: a static analysis tool that learns to detect web application vulnerabilities
AUTHORS: Ibéria Medeiros; Nuno Ferreira Neves ; Miguel Correia ;
PUBLISHED: 2016, SOURCE: 25th International Symposium on Software Testing and Analysis, ISSTA 2016 in Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016

INDEXED IN:

Scopus

DBLP

CrossRef: 44

IN MY:

ORCID |

DBLP