Publications

Books

Books: 1

2017

- Miguel Correia and Paulo Jorge Sousa, Seguranca no Software, book, Sep. 2017, NCA [bibTex]

Articles

International Journal Articles: 4

2018

- Naercio David Pedro Magaia and Carlos Borrego and Paulo Rogério Pereira and Miguel Correia, ePRIVO: An enhanced PRIvacy-preserVing Opportunistic routing protocol for Vehicular Delay-Tolerant Networks, article in IEEE Transactions on Vehicular Technology vol. 67 (11) pp. 11154-11168, Nov. 2018, IEEE [Article] [DOI Article link] [bibTex]
- Naercio David Pedro Magaia and Zhengguo Sheng and Paulo Rogério Pereira and Miguel Correia, REPSYS: A robust and distributed incentive scheme for collaborative caching and dissemination in content-centric cellular-based Vehicular Delay-Tolerant Networks, article in IEEE Wireless Communications Magazine vol. 25 (3) pp. 65-71, Jun. 2018, IEEE [Article] [DOI Article link] [bibTex]

2017

- Pedro Sá da Costa and Fernando Ramos and Miguel Correia, On the Design of Resilient Multicloud MapReduce, article in IEEE Cloud Computing vol. 4 (4) pp. 74-82, Jul. 2017 [Article] [DOI Article link] [bibTex]
- Hylson Netto and Lau Cheuk Lung and Miguel Correia and Aldelir Fernando Luiz and Luciana Moreira Sá de Souza, State machine replication in containers managed by Kubernetes, article in Journal of Systems Architecture vol. 73 pp. 1-60, Feb. 2017 [bibTex]

International Conferences: 14

2018

- Ray Neiheiser and Daniel Presser and Luciana Rech and Angel Manuel Bravo Gestoso and Luis Rodrigues and Miguel Correia, Fireplug: Flexible and Robust N-version Geo-Replication of Graph Databases, presented at The 32nd International Conference on Information Networking, Jan. 2018 [bibTex]

2017

- David Rogério Matos and Miguel Pardal and Miguel Correia, Rectify: Black-Box Intrusion Recovery in PaaS Clouds, presented at Proceedings of the 2017 ACM/IFIP/USENIX International Middleware Conference, Dec. 2017 [bibTex]
- André Joaquim and Miguel Pardal and Miguel Correia, Vulnerability-Tolerant Transport Layer Security, presented at Proceedings of the 21st International Conference on Principles of Distributed Systems (OPODIS), Dec. 2017 [bibTex]
- Naercio David Pedro Magaia and Paulo Rogério Pereira and Miguel Correia, REPSYS: A Robust and Distributed Reputation System for Delay-Tolerant Networks, presented at 20th ACM International Conference on Modelling, Analysis and Simulation of Wireless and Mobile Systems, Nov. 2017 [DOI Article link] [bibTex]
- Sileshi Demesie Yalew and Gerald Maguire Jr. and Seif Haridi and Miguel Correia, DroidPosture: A Trusted Posture Assessment Service for Mobile Devices, presented at 13th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), Oct. 2017 [bibTex]
- Sileshi Demesie Yalew and Gerald Maguire Jr. and Seif Haridi and Miguel Correia, Hail to the Thief: Protecting Data from Mobile Ransomware with ransomSafeDroid, presented at 16th IEEE International Symposium on Network Computing and Applications, Oct. 2017 [bibTex]
- Sileshi Demesie Yalew and Pedro Mendonça and Gerald Maguire Jr. and Seif Haridi and Miguel Correia, TruApp: A TrustZone-based Authenticity Detection Service for Mobile Apps, presented at 13th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), Oct. 2017 [bibTex]
- Paulo Nunes and Ibéria Vitória de Sousa Medeiros and José Fonseca and Nuno Neves and Miguel Correia and Marco Vieira, On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study, presented at 13th European Dependable Computing Conference (EDCC 2017), Sep. 2017 [bibTex]
- Erick Lavoie and Laurie Hendren and Miguel Correia, Xor-Based Topology Management Beyond Kademlia, presented at 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Sep. 2017 [bibTex]
- Sileshi Demesie Yalew and Gerald Maguire Jr. and Seif Haridi and Miguel Correia, T2Droid: A TrustZone-based Dynamic Analyser for Android Applications, presented at 16th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), Aug. 2017 [bibTex]
- Arnaldo Gouveia and Miguel Correia, A Systematic Approach for the Application of Restricted Boltzmann Machines in Network Intrusion Detection, presented at International Work-Conference on Artificial Neural Networks (IWANN), Jun. 2017 [bibTex]
- Ibéria Medeiros and Miguel Beatriz and Nuno Ferreira Neves and Miguel Correia, Demonstrating a Tool for Injection Attack Prevention in MySQL, presented at IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Jun. 2017 [bibTex]
- Naercio David Pedro Magaia and Carlos Borrego and Paulo Rogério Pereira and Miguel Correia, PRIVO: A PRIvacy-preserVing Opportunistic routing protocol for Delay Tolerant Networks, presented at IFIP Networking 2017, Jun. 2017 [DOI Article link] [bibTex]
- Pedro Sá da Costa and Fernando Ramos and Miguel Correia, Chrysaor: Fine-Grained, Fault-Tolerant Cloud-of-Clouds MapReduce, presented at 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May. 2017 [bibTex]

National Journal Articles: 1

2017

- José Manuel Nunes Salvador Tribolet and Paulo Ferreira and Miguel Correia and Carlos Nuno da Cruz Ribeiro and Pedro Adão and Nelson Escravana., Cybersecurity: the role of informatics engineering, article in Revista da Ordem dos Engenheiros, May. 2017 [Article] [bibTex]

Dissertations

PhD Theses: 2

2017

- Pedro Sá da Costa advised by Miguel Correia and Fernando Ramos, Dependable MapReduce in a Cloud-of-Clouds, PhD Thesis at Universidade de Lisboa, Nov. 2017 [bibTex]
- Naercio David Pedro Magaia advised by Paulo Rogério Pereira and Miguel Correia, Efficient and Secure Routing in Wireless Ad Hoc Networks, PhD Thesis at Instituto Superior Técnico, Univesity of Lisbon, Jul. 2017 [bibTex]

MSc Theses: 6

2018

- Miguel Correia Guerra advised by Miguel Correia, Dynamic Security Analysis using Virtual Machine Introspection, MSc Thesis, Jun. 2018 [bibTex]
- Ricardo Manuel Mota de Moura advised by Miguel Pardal and Miguel Correia, MultiTLS: secure channel with cipher diversity, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jun. 2018 [bibTex]
- Isabel Cristina Monteiro da Costa advised by Miguel Pardal and Miguel Correia, PREMIUM: Private Reactive Multipath Communication Middleware, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jun. 2018 [bibTex]
- Anabela Sofia Martins Borges advised by Miguel Correia and Ibéria Vitória Medeiros, Whitebox fuzzing for web application security, MSc Thesis, Jun. 2018 [bibTex]

2017

- Pedro Miguel dos Santos Mendonça advised by Miguel Correia and Shileshi Yalew, Software Authenticity Protection in Smartphones using ARM Trustzone, MSc Thesis, Nov. 2017 [bibTex]
- Ivo Lopes Pinto advised by Miguel Correia and Paulo Jorge Sousa, Security Risks in Healthcare, MSc Thesis, Feb. 2017 [bibTex]