Nuno Neves

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 31

Top Topics

Static Analysis

Security Vulnerabilities

Injection Attacks

Top Venues

IEEE Trans. Reliab.

Publications

Filipe Rodrigues, Rodrigo Simões, Nuno Neves
FADO: A Federated Learning Attack and Defense Orchestrator. DSN-W (2023)
Paulo Antunes, Ibéria Medeiros, Nuno Neves
Towards PHP Vulnerability Detection at an Intermediate Language Level. DSN-S (2023)
Ibéria Medeiros, Nuno Neves, Miguel Correia
Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages. IEEE Trans. Reliab. 71 (2) (2022)
Nuno Neves
Towards Fuzzing Target Lines. DSN (Supplements) (2022)
Ricardo Mendes, Tiago Oliveira, Vinicius Vielmo Cogo, Nuno Neves, Alysson Bessani
Charon: A Secure Cloud-of-Clouds System for Storing and Sharing Big Data. IEEE Trans. Cloud Comput. 9 (4) (2021)
Ibéria Medeiros, Nuno Neves
Impact of Coding Styles on Behaviours of Static Analysis Tools for Web Applications. DSN (Supplements) (2020)
Ana Fidalgo, Ibéria Medeiros, Paulo Antunes, Nuno Neves
Towards a Deep Learning Model for Vulnerability Detection on Web Application Variants. ICST Workshops (2020)
Ricardo Morgado, Ibéria Medeiros, Nuno Neves
Towards Web Application Security by Automated Code Correction. ENASE (2020)
Max Alaluna, Luís Ferrolho, José Rui Figueira, Nuno Neves, Fernando M. V. Ramos
Secure multi-cloud virtual network embedding. Comput. Commun. 155 (2020)
Ibéria Medeiros, Nuno Neves
Effect of Coding Styles in Detection of Web Application Vulnerabilities. EDCC (2020)
Francisco Araújo, Ibéria Medeiros, Nuno Neves
Generating Tests for the Discovery of Security Flaws in Product Variants. ICST Workshops (2020)
Max Alaluna, Nuno Neves, Fernando M. V. Ramos
Elastic Network Virtualization. INFOCOM (2020)
Ibéria Medeiros, Miguel Beatriz, Nuno Neves, Miguel Correia
SEPTIC: Detecting Injection Attacks and Vulnerabilities Inside the DBMS. IEEE Trans. Reliab. 68 (3) (2019)
Max Alaluna, Eric Vial, Nuno Neves, Fernando M. V. Ramos
Secure Multi-Cloud Network Virtualization. Comput. Networks 161 (2019)
Wilson S. Melo, Alysson Bessani, Nuno Neves, Altair Olivo Santin, Luiz Fernando Rust da Costa Carmo
Using Blockchains to Implement Distributed Measuring Systems. IEEE Trans. Instrum. Meas. 68 (5) (2019)
Eduardo Viegas, Altair Olivo Santin, Alysson Bessani, Nuno Neves
BigFlow: Real-time and reliable anomaly-based intrusion detection for high-speed networks. Future Gener. Comput. Syst. 93 (2019)
Paulo Jorge Costa Nunes, Ibéria Medeiros, José Fonseca, Nuno Neves, Miguel Correia, Marco Vieira
An empirical study on combining diverse static analysis tools for web security vulnerabilities based on development scenarios. Computing 101 (2) (2019)
Ibéria Medeiros, Nuno Neves, Miguel Correia
Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages. CoRR (2019)
Miguel Garcia, Alysson Bessani, Nuno Neves
Lazarus: Automatic Management of Diversity in BFT Systems. Middleware (2019)
Ivo Vacas, Iberia Medeiros, Nuno Neves
Detecting Network Threats using OSINT Knowledge-Based IDS. EDCC (2018)
David R. Matos, Nuno Neves, Alysson Bessani
SITAN: Services for Fault-Tolerant Ad Hoc Networks with Unknown Participants. CoRR (2018)
Henrique Mendes, Iberia Medeiros, Nuno Neves
Validating and Securing DLMS/COSEM Implementations with the ValiDLMS Framework. DSN Workshops (2018)
Paulo Jorge Costa Nunes, Iberia Medeiros, José Fonseca, Nuno Neves, Miguel Correia, Marco Vieira
Benchmarking Static Analysis Tools for Web Security. IEEE Trans. Reliab. 67 (3) (2018)
Miguel Garcia, Nuno Neves, Alysson Bessani
SieveQ: A Layered BFT Protection System for Critical Services. IEEE Trans. Dependable Secur. Comput. 15 (3) (2018)
Wilson S. Melo, Luiz F. R. C. Carmo, Alysson Bessani, Nuno Neves, Altair Olivo Santin
How blockchains can improve measuring instruments regulation and control. I2MTC (2018)
André Nogueira, Miguel Garcia, Alysson Bessani, Nuno Neves
On the Challenges of Building a BFT SCADA. DSN (2018)
Fabio Pereira, Nuno Neves, Fernando M. V. Ramos
Secure network monitoring using programmable data planes. NFV-SDN (2017)
Max Alaluna, Luís Ferrolho, José Rui Figueira, Nuno Neves, Fernando M. V. Ramos
Secure Virtual Network Embedding in a Multi-Cloud Environment. CoRR (2017)
Marc Lacoste, Markus Miettinen, Nuno Neves, Fernando M. V. Ramos, Marko Vukolic, Fabien Charmet, Reda Yaich, Krzysztof Oborzynski, Gitesh Vernekar, Paulo Sousa
User-Centric Security and Dependability in the Clouds-of-Clouds. IEEE Cloud Comput. 3 (5) (2016)
Max Alaluna, Fernando M. V. Ramos, Nuno Neves
(Literally) Above the clouds: Virtualizing the network over multiple clouds. NetSoft (2016)
Luís Ferrolho, Max Alaluna, Nuno Neves, Fernando M. V. Ramos
Secure and Dependable Virtual Network Embedding. CoRR (2016)
Max Alaluna, Fernando M. V. Ramos, Nuno Neves
(Literally) above the clouds: virtualizing the network over multiple clouds. CoRR (2015)
Jose Lopes, Nuno Neves
Stopping a Rapid Tornado with a Puff. IEEE Symposium on Security and Privacy (2014)
Tiago Carvalho, Hyong S. Kim, Nuno Neves
PACE your network: Fair and controllable multi-tenant data center networks. ICC (2013)
Nuno Neves, W. Kent Fuchs
RENEW: A Tool for Fast and Efficient Implementation of Checkpoint Protocols. FTCS (1998)
Nuno Neves, W. Kent Fuchs
Adaptive Recovery for Mobile Environments. Commun. ACM 40 (1) (1997)
Nuno Neves, W. Kent Fuchs
Adaptive recovery for mobile environments. HASE (1996)
Nuno Neves, Anthony-Trung Nguyen, Edgar L. Torres
A Study of a Non-Linear Optimization Problem Using a Distributed Genetic Algorithm. ICPP, Vol. 2 (1996)
Manuel Costa, Paulo Guedes, Manuel Sequeira, Nuno Neves, Miguel Castro
Lightweight Logging for Lazy Release Consistent Distributed Shared Memory. OSDI (1996)
Nuno Neves, Miguel Castro, Paulo Guedes
A Checkpoint Protocol for an Entry Consistent Shared Memory System. PODC (1994)
Pedro Manuel Antunes Sousa, Andre Zuquete, Nuno Neves, José Alves Marques
Orthogonal Persistence in a Heterogeneous Distributed Object-Oriented Environment. Comput. J. 37 (6) (1994)
Paulo Guedes, Miguel Castro, Nuno Neves
The DiSOM Distributed Shared Object Memory. ACM SIGOPS European Workshop (1994)
Miguel Castro, Nuno Neves, Pedro Trancuso, Pedro Manuel Antunes Sousa
MIKE: A Distributed object-oriented programming platform on top of the Mach micro-kernel. USENIX MACH Symposium (1993)