Miguel Correia

From Navigators

Past member

Projects

Past projects

• DIVERSE (Diversity for Intrusion-Tolerant Systems)
• REGENESYS (Regeneration of Replicated Systems)
• FTH-Grid (Fault-Tolerant Hierarchical Grid Scheduling)
• CRUTIAL (CRitical UTility InfrastructurAL resilience)
• RESIST NoE (Resilience for Survivability in IST (Network of Excellence))
• AJECT (Attack Injection on Software Components)
• RITAS (Randomized Intrusion Tolerance for Asynchronous Systems)
• COPE (Secure and Reliable Parallel Processing)
• DEFEATS (Distributed Fault and Attack Tolerant Systems Configuration)
• MAFTIA (Malicious- and Accidental-Fault Tolerance for Internet Applications)

Student supervision

Concluded

• Pedro Costa, “Dependable MapReduce in a Cloud-of-Clouds”, Ph.D. dissertation, Doutoramento em Informática, Faculdade de Ciências da Universidade de Lisboa, Nov. 2017.

• Ibéria Medeiros, “Detection of Vulnerabilities and Automatic Protection for Web Applications”, Ph.D. dissertation, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, Sept. 2016.

• Henrique Moniz, “Byzantine Fault-Tolerant Agreement Protocols for Wireless Ad hoc Networks”, Ph.D. dissertation, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, Nov. 2010.

• João Amado, “Sketch-Based Attack Detection on Programmable Networks”, Master’s thesis, Mestrado em Engenharia Informática e de Computadores, Instituto Superior Técnico, Nov. 2018.

• Henrique Moniz, “Randomized Intrusion-Tolerant Asynchronous Services”, Master’s thesis, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Dec. 2006.

Publications

• Ibéria Medeiros, Nuno Neves, Miguel Correia, “Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Language”, IEEE Transactions on Reliability, Jan. 2022.

• Luís Sacramento, Ibéria Medeiros, Jão Bota, Miguel Correia, Detecting Botnets and Unknown Network Attacks in Big Traffic Data. CRC Press, Oct. 2019, ch. 7, pp. 237–268.

• Ibéria Medeiros, Miguel Beatriz, Nuno Ferreira Neves, Miguel Correia, “SEPTIC: Detecting Injection Attacks and Vulnerabilities Inside the DBMS”, IEEE Transactions on Reliability, vol. 68, no. 3, pp. 1168 – 1188, Sept. 2019.

• Paulo Nunes, Ibéria Medeiros, José Fonseca, Nuno Ferreira Neves, Miguel Correia, Marco Vieira, “An Empirical Study on Combining Diverse Static Analysis Tools for Web Security Vulnerabilities based on Development Scenarios”, Computing, vol. 101, no. 2, pp. 161–185, Feb. 2019.

• Paulo Nunes, Ibéria Medeiros, José Fonseca, Nuno Ferreira Neves, Miguel Correia, Marco Vieira, “Benchmarking Static Analysis Tools for Web Security”, IEEE Transactions on Reliability, vol. 67, no. 3, pp. 1159 – 1175, Sept. 2018.

• Luis Sacramento, Ibéria Medeiros, João Bota, Miguel Correia, “FlowHacker: Detecting Unknown Network Attacks in Big Traffic Data using Network Flows”, in Proceedings of the 17th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), Jul. 2018.

• Roberto Ponte, Ibéria Medeiros, Miguel Correia, “Fuzzing Ethereum Smart Contracts (research statement)”, in DSN Workshop on Byzantine Consensus and Resilient Blockchains (BCRB), Jun. 2018.

• Paulo Nunes, Ibéria Medeiros, José Fonseca, Nuno Ferreira Neves, Miguel Correia, Marco Vieira, “On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study”, in Proceedings of the 13th European Dependable Computing Conference (EDCC), Sept. 2017.

• Ibéria Medeiros, Nuno Ferreira Neves, Miguel Beatriz, Miguel Correia, “Demonstrating a Tool for Injection Attack Prevention in MySQL”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN)., Jun. 2017.

• Pedro Costa, Fernando Ramos, Miguel Correia, “Chrysaor: Fine-Grained, Fault-Tolerant Cloud-of-Clouds MapReduce”, in IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid), May 2017.

• Pedro Costa, Miguel Correia, Fernando Ramos, “On the Design of Resilient Multicloud MapReduce”, IEEE Cloud Computing, 2017.

• Alysson Bessani, Nuno Ferreira Neves, Paulo Verissimo, Wagner Saback Dantas, Alexandre Fonseca, Rui Silva, Pedro Luz, Miguel Correia, “JITeR: Just-In-Time Application-Layer Routing”, Computer Networks, vol. 104, pp. 122–136, Jul. 2016.

• Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia, “DEKANT: A Static Analysis Tool that Learns to Detect Web Application Vulnerabilities”, in Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), Jul. 2016.

• Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia, “Equipping WAP with Weapons to Detect Vulnerabilities”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN), Jun. 2016.

• Pedro Costa, Xiao Bai, Fernando Ramos, Miguel Correia, “Medusa: An Efficient Cloud Fault-Tolerant MapReduce”, in IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid), May 2016.

• Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia, “Hacking the DBMS to Prevent Injection Attacks”, in Proceedings of the ACM Conference on Data and Applications Security and Privacy (CODASPY), Mar. 2016.

• Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia, “Detecting and Removing Web Application Vulnerabilities with Static Analysis and Data Mining”, IEEE Transactions on Reliability, vol. 65, no. 1, pp. 54–69, Mar. 2016.

• Alysson Bessani, Ricardo Mendes, Tiago Oliveira, Nuno Ferreira Neves, Miguel Correia, Marcelo Pasin, Paulo Verissimo, “SCFS: A Shared Cloud-backed File System”, in Proceedings of the 2014 USENIX Annual Technical Conference (USENIX-ATC), Philadelphia, PA, US, Jun. 2014.

• Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia, “Web Application Protection with the WAP Tool”, in Fast Abstract at the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Atlanta, USA, Jun. 2014.

• Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia, “Automatic Detection and Correction of Web Application Vulnerabilities using Data Mining to Predict False Positives”, in Proceedings of the International World Wide Web Conference (WWW), Seoul, Korea, Apr. 2014.

More publications

BibTeX

Navigators - Miguel Correia

People

Faculty members	Alan Oliveira, Alysson Bessani, Ana Respício, António Casimiro, Bernardo Ferreira, Ibéria Medeiros, José Cecílio, Nuno Ferreira Neves, Pedro M. Ferreira, Vinicius Vielmo Cogo
Post-doc researchers	David Matos
PhD students	Adriano Mão de Ferro, AdrianoSerckumecka, Allan Espíndola, Ana Fidalgo, Carlos Mão de Ferro, Fernando Alves, Joel Samper, Miracle Aniakor, Nuno Dionísio, Paulo Antunes, Regivaldo Costa, Robin Vassantlal, Rohit Kumar, Samaneh Shafee, Žygimantas Jasiūnas
Hired researchers	(none)
MSc students	Alexandre Nascimento, André Gil, Bruno Matos, David Silva, Diogo Avelãs, Diogo Duarte, Diogo Pires, Diogo Ferreira, Frederico Apolónia, Gonçalo Reis, Inês Sousa, João Loureiro, João Queimado, João Silva, João Valente, Lívio Rodrigues, Miguel Oliveira, Pedro Alves, Pedro Rosa, Rafael Ramires … further results
Undergraduate students	(none)
Management	(none)