Publications

Books

Book Chapters: 7

2020

- Arnaldo Luis de Gouveia and Miguel Correia, XGBoost(ing) Network Intrusion Detection, chapter of Advances in Security, Privacy and Trust for Internet-of-Things (IoT) and Cyber-Physical Systems (CPS), Jan. 2020, CRC Press [bibTex]
- Arnaldo Luis de Gouveia and Miguel Correia, Deep Learning for Network Intrusion Detection: An Empirical Assessment, chapter of Advances in Security, Privacy and Trust for Internet-of-Things (IoT) and Cyber-Physical Systems (CPS), Jan. 2020, CRC Press [bibTex]
- Gil Mouta and Miguel Pardal and João Bota and Miguel Correia, SPATIO: end-uSer Protection Against ioT IntrusiOns, chapter of Advances in Security, Privacy and Trust for Internet-of-Things (IoT) and Cyber-Physical Systems (CPS), Jan. 2020, CRC Press [bibTex]
- Luís Sacramento and Ibéria Vitória de Sousa Medeiros and João Bota and Miguel Correia, Detecting Botnets and Unknown Network Attacks in Big Traffic Data, chapter of Botnets: Architectures, Countermeasures, and Challenges, Jan. 2020 [bibTex]
- Miguel Correia, From Byzantine Consensus to Blockchain Consensus, chapter of Essentials of Blockchain Technology, Jan. 2020, CRC Press [bibTex]
- Tiago Rosado and André Ferreira Ferrão Couto e Vasconcelos and Miguel Correia, A Blockchain Use Case for Car Registration, chapter of Essentials of Blockchain Technology, Jan. 2020, CRC Press [bibTex]
- Luís Filipe Dias and Miguel Correia, Big Data Analytics for Intrusion Detection: An Overview, chapter of Handbook of Research on Machine and Deep Learning Applications for Cyber Security, Jan. 2020, IGI Global [bibTex]

Articles

International Journal Articles: 5

2021

- Rafael André Pestana Belchior and André Ferreira Ferrão Couto e Vasconcelos and Sérgio Guerreiro and Miguel Correia, A Survey on Blockchain Interoperability: Past, Present, and Future Trends, article in ACM Computing Surveys, Jun. 2021, ACM [bibTex]

2020

- Sérgio Guerreiro and Diogo Silva and Tiago Rosado and André Ferreira Ferrão Couto e Vasconcelos and Miguel Correia and Pedro Manuel Moreira Vaz Antunes de Sousa, Decentralized Business Process Control using Blockchain - An experience report from two applications: Food Supply Chain and Car Registration, article in Enterprise Modelling and Information Systems Architectures vol. 15, to appear on 2020 [bibTex]
- 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]

2019

- Ibéria Vitória de Sousa Medeiros and Miguel Beatriz and Nuno Ferreira Neves and Miguel Correia, SEPTIC: Detecting Injection Attacks and Vulnerabilities Inside the DBMS, article in IEEE Transactions on Reliability (68) pp. 1168-1188, Mar. 2019 [bibTex]
- Paulo Nunes and Ibéria Vitória de Sousa Medeiros and José Fonseca and Nuno Ferreira Neves and Miguel Correia and Marco Vieira, An empirical study on combining diverse static analysis tools for web security vulnerabilities based on development scenarios, article in Computing vol. 101 (2) pp. 161-185, Feb. 2019 [bibTex]

International Conferences: 19

2020

- Tiago Fernandes and Luis Filipe Xavier Cavaco Mendoça Dias and Miguel Correia, C2BID: Cluster Change-Based Intrusion Detection, presented at IEEE Trustcom 2020, Dec. 2020 [bibTex]
- Gilbeto Gomes and Luis Filipe Xavier Cavaco de Mendonça Dias and Miguel Correia, CryingJackpot: Network Flows and Performance Counters against Cryptojacking, presented at 19th IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [bibTex]
- Fábio Miguel de Jesus Gomes and Miguel Correia, Cryptojacking Detection with CPU Usage Metrics, presented at 19th IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [bibTex]
- Luis Filipe Xavier Cavaco de Mendonça Dias and Simão Valente and Miguel Correia, Go With the Flow: Clustering Dynamically-Defined NetFlow Features for Network Intrusion Detection with DynIDS, presented at 19th IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [bibTex]
- Alexandra Sofia Gaio Chaveiro Figueiredo and Tatjana Lide and David Rogério Póvoa de Matos and Miguel Correia, MERLIN: Multi-Language Web Vulnerability Detection, presented at 19th IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [bibTex]
- Diogo Lopes Vaz and David Rogério Póvoa de Matos and Miguel Pardal and Miguel Correia, MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks, presented at MobiQuitous 2020, Nov. 2020 [bibTex]
- Filipe Miguel Fernandes Martins and David Rogério Póvoa de Matos and Miguel Pardal and Miguel Correia, Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum, presented at 19th IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [bibTex]
- Filipe Miguel Fernandes Martins and David Rogério Póvoa de Matos and Miguel Pardal and Miguel Correia, Recoverable Token: Recovering from Intrusions against Digital Assets in the Ethereum Blockchain, presented at 19th IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [bibTex]
- Arnaldo Luis de Gouveia and Miguel Correia, Towards Quantum-Enhanced Machine Learning for Network Intrusion Detection, presented at 19th IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [bibTex]
- Diogo Serranito and André Ferreira Ferrão Couto e Vasconcelos and Sérgio Guerreiro and Miguel Correia, Blockchain Ecosystem for Verifiable Qualifications, presented at 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), Sep. 2020 [bibTex]
- Ricardo Moura and David Rogério Póvoa de Matos and Miguel Pardal and Miguel Correia, MultiTLS: Secure communication channel with cipher suite diversity, presented at IFIP TC-11 SEC 2020 International Information Security and Privacy Conference, Sep. 2020 [bibTex]
- Sérgio Guerreiro and Putz and Miguel Correia and André Ferreira Ferrão Couto e Vasconcelos, SSIBAC: Self-Sovereign Identity Based Access Control, 3rd International Workshop on Blockchain Systems and Applications, presented at 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, Jul. 2020 [bibTex]
- 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]
- Rafael Belchior and André Ferreira Ferrão Couto e Vasconcelos and Miguel Correia, Towards Secure, Decentralized, and Automatic Audits with Blockchain, presented at European Conference on Information Systems (ECIS), Jun. 2020 [bibTex]

2019

- Luis Filipe Xavier Cavaco de Mendonça Dias and Helder Reia and Rui Neves and Miguel Correia, OutGene: Detecting Undefined Network Attacks with Time Stretching and Genetic Zoom, presented at 13th International Conference on Network and System Security, Dec. 2019 [bibTex]
- Erick Lavoie and Laurie Hendren and Frederic Desprez and Miguel Correia, Pando: Personal Volunteer Computing in Browsers, presented at 2019 ACM/IFIP/USENIX International Middleware Conference, Dec. 2019 [bibTex]
- Carlos Sérgio Figueira Faria and Miguel Correia, BlockSim: Blockchain Simulator, presented at IEEE Blockchain Symposium, Jul. 2019 [bibTex]
- Rafael André Pestana Belchior and André Ferreira Ferrão Couto e Vasconcelos and Miguel Correia, JusticeChain: Using Blockchain to Protect Justice Logs, presented at 27th International Conference on Cooperative Information Systems - CoopIS, Jul. 2019 [bibTex]
- Erick Lavoie and Laurie Hendren and Frederic Desprez and Miguel Correia, Genet: A Quickly Scalable Fat-Tree Overlay for Personal Volunteer Computing using WebRTC, presented at International Conference on Self-Adaptive and Self-Organizing Systems - SASO 2019, Jun. 2019 [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]