Publications

Articles

International Journal Articles: 3

2020

- Ray Neiheiser and Luciana Rech and Angel Manuel Bravo Gestoso and Luis Rodrigues and Miguel Correia, Fireplug: Efficient and Robust Geo-Replication of Graph Databases, article in IEEE Transactions on Parallel and Distributed Systems vol. 31 (8), Aug. 2020, IEEE [bibTex]

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]

International Conferences: 6

2020

- Cláudio Correia and Luis Rodrigues and Miguel Correia, Omega: a Secure Event Ordering Service for the Edge, presented at Proceedings of 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Jun. 2020 [bibTex]

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]

National Conferences: 1

2019

- Claudio Correia and Luis Rodrigues and Miguel Correia, Ordenação Segura de Eventos na Periferia da Rede, presented at Actas do décimo primeiro Simpósio de Informática (Inforum), Sep. 2019 [bibTex]

Dissertations

PhD Theses: 1

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]

MSc Theses: 6

2019

- Cláudio José Pereira Correia advised by Luis Rodrigues and Miguel Correia, Omega: a Secure Event Ordering Service for the Edge, MSc Thesis at Universidade de Lisboa, Nov. 2019 [bibTex]

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]

as Editors

Edited Books: 1

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]