Publications

Articles

International Journal Articles: 2

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

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]

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

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]