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: 18

2018

- David R. Matos and Miguel Pardal and Georg Carle and Miguel Correia, RockFS: Cloud-backed File System Resilience to Client-Side Attacks , presented at ACM/IFIP/USENIX 19th International Middleware Conference, Dec. 2018 [bibTex]
- Nuno Miguel de Oliveira Duarte and Shileshi Yalew and Nuno Santos and Miguel Correia, Leveraging ARM TrustZone and Verifiable Computing to Provide Auditable Mobile Functions , presented at MobiQuitous, Nov. 2018 [bibTex]
- Filipe Miguel Marcos Apolinário and Miguel Pardal and Miguel Correia, S-Audit: Efficient Data Integrity Verification for Cloud Storage , presented at 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications (IEEE TrustCom-18), Jul. 2018 [bibTex]
- David Rogério Póvoa de Matos and Miguel Pardal and Pedro Adão and António Rito Silva and Miguel Correia, Securing Electronic Health Records in the Cloud, presented at 1st Workshop on Privacy by Design in Distributed Systems, Apr. 2018 [bibTex]
- 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: 3

2018

- Sileshi Demesie advised by Miguel Correia and Seif Haridi, Mobile Device Security with ARM TrustZone, PhD Thesis at Instituto Superior Técnico, Nov. 2018 [bibTex]

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: 7

2018

- Paulo Jorge Almeida dos Anjos advised by Miguel Matos and Miguel Correia, Blockchain as a consensus service, MSc Thesis, Nov. 2018 [bibTex]
- 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]

as Editors

Edited Books: 2

2018

- Aris Gkoulalas-Divanis and Miguel Correia and Mirco Marchetti and Dimiter R. Avresky, editors, Proceedings of the 2018 IEEE 17th International Symposium on Network Computing and Applications (NCA), Nov. 2018, IEEE [bibTex]

2017

- Aris Gkoulalas-Divanis and Miguel Correia and Dimiter R. Avresky, editors, Proceedings of the 2017 IEEE 16th International Symposium on Network Computing and Applications (NCA), Nov. 2017, IEEE [bibTex]