Semantic search

From Navigators

Publications

• Ricardo Mendes, Tiago Oliveira, Vinicius Vielmo Cogo, Nuno Ferreira Neves, Alysson Bessani, “CHARON: A Secure Cloud-of-Clouds System for Storing and Sharing Big Data”, IEEE Transactions on Cloud Computing, vol. 9, no. 4, pp. 1349–1361, Oct. 2021. 10.1109/TCC.2019.2916856

• Francisco Araujo, Ibéria Medeiros, Nuno Ferreira Neves, “Generating Tests for the Discovery of Security Flaws in Product Variants”, in In Proceedings of the International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS), Oct. 2020.

• Ana Fidalgo, Ibéria Medeiros, Nuno Ferreira Neves, “Towards a Deep Learning Model for Vulnerability Detection on Web Application Variants”, in In Proceedings of the Workshop on Testing of Configurable and Multi-variant Systems (ToCaMS), Oct. 2020.

• Ibéria Medeiros, Nuno Ferreira Neves, “Effect of Coding Styles in Detection of Web Application Vulnerabilities”, in In Proceedings of the European Dependable Computing Conference (EDCC), Sept. 2020.

• Ricardo Morgado, Ibéria Medeiros, Nuno Ferreira Neves, “Towards Web Application Security by Automated Code Correction”, in In Proceedings of the International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), May 2020.

• Max Alaluna, Eric Vial, Nuno Ferreira Neves, Fernando Ramos, “Secure Multi-Cloud Network Virtualization”, Computer Networks, vol. 161, pp. 45–60, Oct. 2019.

• Francisco Araujo, Ibéria Medeiros, Nuno Ferreira Neves, “Geração de Testes de Software para Verificação de Faltas e Funcionalidades”, in Simpósio de Informática (INFORUM), Sept. 2019.

• 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.

• Wilson Melo Jr, Alysson Bessani, Nuno Ferreira Neves, Altair Santin, Luis Carmo, “Using Blockchains to Implement Distributed Measuring Systems”, IEEE Transactions on Instrumentation and Measurement, vol. 68, no. 5, pp. 1503–1514, May 2019.

• Eduardo Viegas, Altair Santin, Alysson Bessani, Nuno Ferreira Neves, “BigFlow: Real-time and Reliable Anomaly-based Intrusion Detection for High-Speed Networks”, Future Generation Computer Systems, vol. 93, pp. 473–485, Apr. 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.

• Ivo Vacas, Ibéria Medeiros, Nuno Ferreira Neves, “Detecting Network Threats using OSINT Knowledge-based IDS”, in Proceedings of the 14th European Dependable Computing Conference (EDCC), Sept. 2018.

• Paulo Antunes, Ibéria Medeiros, Nuno Ferreira Neves, “Remoção Automática de Vulnerabilidades usando Análise Estática de Código Direcionada”, in Proceedings of the 10th Simpósio de Informática (INForum 2018), Coimbra, Portugal, Sept. 2018.

• Miguel Garcia, Nuno Ferreira Neves, Alysson Bessani, “SieveQ: A Layered BFT Protection System for Critical Services”, IEEE Transactions on Dependable and Secure Computing, vol. 15, no. 3, pp. 511–525, Jun. 2018.

• Henrique Mendes, Ibéria Medeiros, Nuno Ferreira Neves, “Validating and Securing DLMS/COSEM Implementations with the ValiDLMS Framework”, in Proceedings of the Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS), Jun. 2018.

• Wilson Melo Jr, Luis Carmo, Alysson Bessani, Nuno Ferreira Neves, Altair Santin, “How Blockchains can improve Measuring Instruments Regulation and Control”, in International Instrumentation and Measurement Technology Conference (I2MTC), May 2018.

• André Nogueira, Miguel Garcia, Alysson Bessani, Nuno Ferreira Neves, “On the Challenges of Building a BFT SCADA,”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN), 2018, pp. 8.

• Fabio Pereira, Nuno Ferreira Neves, Fernando Ramos, “Secure Network Monitoring Using Programmable Data Planes”, in Third International Workshop on Security in NFV-SDN (IEEE NFV-SDN 2017), Nov. 2017.

• Miguel Falé, Ibéria Medeiros, Nuno Ferreira Neves, “Resolução de Dependências Circulares em Inclusão de Código em Análise Estática de Código”, in Proceedings of the 9th Simpósio de Informática (INForum 2017), Aveiro, Portugal, Oct. 2017.