Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Confirmed Publications: 203



51
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
52
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
53
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
54
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
55
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
56
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
57
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
IN MY: ORCID
58
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
59
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
60
TITLE: Detecting and Removing Web Application Vulnerabilities with Static Analysis and Data Mining
AUTHORS: Medeiros, I; Neves, N ; Correia, M ;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 65, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
Page 6 of 21. Total results: 203.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service