BIBLIOS
Ciências References Management System
Visitor Mode (
Login
)
Need help?
Publications for nfneves
(202)
2024
Network resilient federated machine learning
(2024)
Simões, Rodrigo Alexandre Silva
Neves, Nuno Fuentecilla Maia Ferreira
Academic documents
2024
Development of a Website for Creation of Vulnerability Datasets
(2024)
Ferreira, Miguel Pinto da Silva
Neves, Nuno Fuentecilla Maia Ferreira
Medeiros, Ibéria Vitória de Sousa
Academic documents
2023
FADO: A Federated Learning Attack and Defense Orchestrator
(2023)
Filipe Rodrigues
Rodrigo Simões
Nuno Neves
Conference papers
2023
Towards PHP Vulnerability Detection at an Intermediate Language Level
(2023)
Paulo Antunes
Ibéria Medeiros
Nuno Neves
Conference papers
2023
ZeroDays v2 Sistema de Gestão de Ameaças de Cibersegurança Dia-Zero (Exploits e Software Malicioso Dia-Zero)
(2023)
Ferreira, Tomás Rafael Martins
Neves, Nuno Fuentecilla Maia Ferreira
Alegria, José António dos Santos
Academic documents
2022
Towards Fuzzing Target Lines
(2022)
Nuno Neves
Conference papers
2022
Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages
(2022)
Iberia Medeiros
Nuno Neves
Miguel Correia
Journal articles
2021
CHARON: A Secure Cloud-of-Clouds System for Storing and Sharing Big Data
(2021)
Ricardo Mendes
Tiago Oliveira
Vinicius Vielmo Cogo
Nuno Ferreira Neves
Alysson Neves Bessani
Journal articles
2021
Detection of Intrusions and Malware, and Vulnerability Assessment
(2021)
Leyla Bilge
Lorenzo Cavallaro
Giancarlo Pellegrino
Nuno Neves
Books
2020
Towards a Deep Learning Model for Vulnerability Detection on Web Application Variants
(2020)
Ana Fidalgo
Iberia Medeiros
Paulo Antunes
Nuno Neves
Conference papers
2020
Generating Tests for the Discovery of Security Flaws in Product Variants
(2020)
Francisco Araujo
Iberia Medeiros
Nuno Neves
Conference papers
2020
Effect of Coding Styles in Detection of Web Application Vulnerabilities
(2020)
Iberia Medeiros
Nuno Neves
Conference papers
2020
Elastic Network Virtualization
(2020)
Max Alaluna
Nuno Neves
Fernando M. V. Ramos
Conference papers
2020
Secure multi-cloud virtual network embedding
(2020)
Max Alaluna
Luís Ferrolho
José Rui Figueira
Nuno Neves
Fernando M.V. Ramos
Journal articles
2020
Automatização de Requisitos de Segurança em Aplicações Android
(2020)
Rui Filipe Gago Pereira
Nuno Fuentecilla Maia Ferreira Neves
Ibéria Vitória de Sousa Medeiro
Academic documents
2020
Industrial and Artificial Internet of Things with Augmented Reality
(2020)
Pedro Gomes
Naercio Magaia
Nuno Neves
Book chapters
2020
CSVMS - Cyber Security Vulnerability Management System
(2020)
João Rafael Xisto Miranda
Nuno Fuentecilla Maia Ferreira Neves
Academic documents
2020
Detecting Web Vulnerabilities in an intermediate Language, Resorting to Machine Learning Techniques
(2020)
Ana Maria Dias Fidalgo
Ibéria Vitória de Sousa Medeiros
Nuno Fuentecilla Maia Ferreira Neves
Academic documents
2020
Detection of Intrusions and Malware, and Vulnerability Assessment
(2020)
Clémentine Maurice
Leyla Bilge
Gianluca Stringhini
Nuno Neves
Books
2020
Vulnerabilities detection at runtime and continuous auditing
(2020)
Lourenço, Bruno Octávio Horta
Medeiros, Ibéria Vitória de Sousa
Neves, Nuno Fuentecilla Maia Ferreira
Academic documents
2020
Towards Web Application Security by Automated Code Correction
(2020)
Ricardo Morgado
Ibéria Medeiros
Nuno Neves
Conference papers
2019
Lazarus: Automatic Management of Diversity in BFT Systems
(2019)
Miguel Garcia
Alysson Bessani
Nuno Neves
Conference papers
2019
Secure Multi-Cloud Network Virtualization
(2019)
Max Alaluna
Eric Vial
Nuno Neves
Fernando M.V. Ramos
Journal articles
2019
SEPTIC: Detecting Injection Attacks and Vulnerabilities Inside the DBMS
(2019)
Iberia Medeiros
Miguel Beatriz
Nuno Neves
Miguel Correia
Journal articles
2019
Using Blockchains to Implement Distributed Measuring Systems
(2019)
Wilson S. Melo
Alysson Bessani
Nuno Neves
Altair Olivo Santin
Luiz F. Rust C. Carmo
Journal articles
2019
BigFlow: Real-time and reliable anomaly-based intrusion detection for high-speed networks
(2019)
Eduardo Viegas
Altair Santin
Alysson Bessani
Nuno Neves
Journal articles
2019
An empirical study on combining diverse static analysis tools for web security vulnerabilities based on development scenarios
(2019)
Paulo Nunes et al., with 6 authors including:
Ibéria Medeiros
Nuno Neves
Journal articles
2019
Invalidating web applications attacks by employing the right secure code
(2019)
Ricardo Jorge Graça Morgado
Medeiros, Ibéria Vitória de Sousa
Neves, Nuno Fuentecilla Maia Ferreira
Academic documents
2019
Generating software tests to check for flaws and functionalities
(2019)
Francisco João Guimarães Coimbra de Almeida Araújo
Neves, Nuno Fuentecilla Maia Ferreira
Medeiros, Ibéria Vitória de Sousa
Academic documents
2019
Diverse intrusion-tolerante systems
(2019)
Henriques, Miguel Garcia Tavares
Bessani, Alysson Neves
Neves, Nuno Fuentecilla Maia Ferreira
Academic documents
2018
Monitoring Web Applications for Vulnerability Discovery and Removal under Attack
(2018)
Paulo David Ferreira Antunes
Nuno Fuentecilla Maia Ferreira Neves
Ibéria Vitória de Sousa Medeiros
Academic documents
2018
Resilient communications in smart Grids
(2018)
Pedro Alexandre Pacheco Pinto Maia
Nuno Fuentecilla Maia Ferreira Neves
Fernando Manuel Valente Ramos
Academic documents
2018
Benchmarking Static Analysis Tools for Web Security
(2018)
Paulo Nunes et al., with 6 authors including:
Iberia Medeiros
Nuno Neves
Journal articles
2018
Detecting Network Threats using OSINT Knowledge-Based IDS
(2018)
Ivo Vacas
Iberia Medeiros
Nuno Neves
Conference papers
2018
On the Challenges of Building a BFT SCADA
(2018)
Andre Nogueira
Miguel Garcia
Alysson Bessani
Nuno Neves
Conference papers
2018
Validating and Securing DLMS/COSEM Implementations with the ValiDLMS Framework
(2018)
Henrique Mendes
Iberia Medeiros
Nuno Neves
Conference papers
2018
SieveQ: A Layered BFT Protection System for Critical Services
(2018)
Miguel Garcia
Nuno Neves
Alysson Bessani
Journal articles
2018
How blockchains can improve measuring instruments regulation and control
(2018)
Wilson Melo
Luiz F. R. C. Carmo
Alysson Bessani
Nuno Neves
Altair Santin
Conference papers
2018
Security Auditing of a DLMS/COSEM Smart Grid Communication Protocol Implementation
(2018)
Henrique Califórnia Mendes
Nuno Fuentecilla Maia Ferreira Neves
Ibéria Vitória de Sousa Medeiros
Academic documents
2017
Improving vulnerability detection of wap
(2017)
Miguel Amorim Falé
Neves, Nuno Fuentecilla Maia Ferreira
Medeiros, Ibéria Vitória de Sousa
Academic documents
2017
A Resilient Stream Learning Intrusion Detection Mechanism for Real-Time Analysis of Network Traffic
(2017)
Eduardo Viegas
Altair Santin
Nuno Neves
Alysson Bessani
Vilmar Abreu
Conference papers
2017
Secure network monitoring using programmable data planes
(2017)
Fabio Pereira
Nuno Neves
Fernando M. V. Ramos
Conference papers
2017
Secure network monitoring using programmable data planes
(2017)
Fábio Miguel Canto Pereira
Neves, Nuno Fuentecilla Maia Ferreira
Ramos, Fernando Manuel Valente
Academic documents
2017
On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study
(2017)
Paulo Nunes et al., with 6 authors including:
Iberia Medeiros
Nuno Neves
Conference papers
2017
Secure large-scale outsourced services founded on trustworthy code executions
(2017)
Bruno Vavala
Neves, Nuno
Steenkiste, Peter
Academic documents
2017
Secure Tera-scale Data Crunching with a Small TCB
(2017)
Bruno Vavala
Nuno Neves
Peter Steenkiste
Conference papers
2017
Demonstrating a Tool for Injection Attack Prevention in MySQL
(2017)
Iberia Medeiros
Miguel Beatriz
Nuno Neves
Miguel Correia
Conference papers
2017
Vulnerability Detection in Device Drivers
(2017)
Manuel José Ferreira Carneiro Mendonça
Neves, Nuno Fuentecilla Maia Ferreira
Academic documents
2017
Secure and Dependable Multi-Cloud Network Virtualization
(2017)
Max Alaluna
Eric Vial
Nuno Neves
Fernando M. V. Ramos
Conference papers
2016
Secure and Dependable Virtual Network Embedding
(2016)
Luís Xavier Mimoso Ferrolho
Ramos, Fernando Manuel Valente
Neves, Nuno Fuentecilla Maia Ferreira
Academic documents
2016
Fast Reroute Using Segment Routing for Smart Grids
(2016)
Brito, Frederico António Silva de
Ramos, Fernando Manuel Valente
Neves, Nuno Fuentecilla Maia Ferreira
Academic documents
2016
A Knowledge-Based, secure and dependable self-healing architecture for the smart grid
(2016)
tPereira, Nuno Emanuel Nunes
Neves, Nuno Fuentecilla Maia Ferreira
Academic documents
2016
User-Centric Security and Dependability in the Clouds-of-Clouds
(2016)
Marc Lacoste et al., with 10 authors including:
Nuno Neves
Fernando M.V. Ramos
Journal articles
2016
JITeR: Just-in-time application-layer routing
(2016)
Alysson Bessani et al., with 8 authors including:
Alysson Bessani
Nuno F. Neves
Journal articles
2016
Secure Identification of Actively Executed Code on a Generic Trusted Component
(2016)
Bruno Vavala
Nuno Neves
Peter Steenkiste
Conference papers
2016
Equipping WAP with WEAPONS to Detect Vulnerabilities: Practical Experience Report
(2016)
Iberia Medeiros
Nuno Neves
Miguel Correia
Conference papers
2016
(Literally) Above the clouds: Virtualizing the network over multiple clouds
(2016)
Max Alaluna
Fernando M. V. Ramos
Nuno Neves
Conference papers
2016
Detecting and Removing Web Application Vulnerabilities with Static Analysis and Data Mining
(2016)
Iberia Medeiros
Nuno Neves
Miguel Correia
Journal articles
2016
Hacking the DBMS to Prevent Injection Attacks
(2016)
Ibéria Medeiros
Miguel Beatriz
Nuno Neves
Miguel Correia
Conference papers
2016
DEKANT: a static analysis tool that learns to detect web application vulnerabilities
(2016)
Ibéria Medeiros
Nuno Neves
Miguel Correia
Conference papers
2015
Securing Passive Replication Through Verification
(2015)
Bruno Vavala
Nuno Neves
Peter Steenkiste
Conference papers
2015
Fault-Tolerant Precision Time Protocol for Smart Grids
(2015)
Radu Onica
Nuno Neves
António Casimiro
Conference papers
2015
Secure Monitoring for a Secure Smart Grid
(2015)
Rodrigo Medeiros
Fernando Manuel Valente Ramos
Nuno Fuentecilla Maia Ferreira Neves
Academic documents
2015
Privacy Preserving Protocols for Smart Meters and Electric Vehicles
(2015)
André Jesus
Nuno Fuentecilla Maia Ferreira Neves
Academic documents
2015
Secure GPS Clock Synchronization in Smart Grids
(2015)
Radu Onica
Nuno Fuentecilla Maia Ferreira Neves
António Casimiro Ferreira da Costa
Academic documents
2014
Load balancing in real software defined networks
(2014)
Semedo, Gonçalo Miguel Alves
Ramos, Fernando Manuel Valente
Neves, Nuno Fuentecilla Maia Ferreira
Academic documents
2014
SCFS: a Shared Cloud-backed File System
(2014)
Alysson Bessani et al., with 7 authors including:
Alysson Bessani
Nuno Neves
Marcelo Pasin
Paulo Verissimo
Conference papers
2014
Stopping a Rapid Tornado with a Puff
(2014)
José Lopes
Nuno Neves
Conference papers
2014
Automatic Detection and Correction of Web Application Vulnerabilities using Data Mining to Predict False Positives
(2014)
Ibéria Medeiros
Nuno Neves
Miguel Correia
Conference papers
2014
Analysis of operating system diversity for intrusion tolerance
(2014)
Miguel Garcia
Alysson Bessani
Ilir Gashi
Nuno Neves
Rafael Obelheiro
Journal articles
2014
SITAN: Services for Ad Hoc Networks with Unknown Participants
(2014)
David Matos
Nuno Neves
Alysson Bessani
Conference papers
2014
Web Application Protection with the WAP Tool
(2014)
Ibéria Medeiros
Nuno Neves
Miguel Correia
Conference papers
2013
PACE Your Network: Fair and Controllable Multi-Tenant Data Center Networks
(2013)
Tiago Carvalho
Hyong S. Kim
Nuno Neves
Conference papers
2013
MiCCS4Mobile: Middleware para Comunicação e Coordenação Segura em Redes Ad-hoc com Participantes Desconhecidos
(2013)
David Matos
Emanuel Alves
Nuno Neves
Alysson Bessani
Conference papers
2013
Robustness of the RaptorQ FEC Code under Malicious Attacks
(2013)
José Lopes
Nuno Neves
Conference papers
2013
Resilient SIEM Framework Architecture, Services and Protocols
(2013)
Nuno Neves (Editor)
Other
2013
Achieving Fault-Tolerant Consensus in Ad Hoc Networks
(2013)
Matos, David Rogério Póvoa de Matos
Neves, Nuno Fuentecilla Maia Ferreira
Academic documents
2013
Comunicação e filiação em redes ad-hoc móveis com participantes desconhecidos
(2013)
Alves, Emanuel José Branco
Neves, Nuno Fuentecilla Maia Ferreira
Bessani, Alysson Neves
Academic documents
2013
Communication with RaptorQ Codes in Malicious Environments
(2013)
Lopes, José Manuel Sá
Neves, Nuno Fuentecilla Maia Ferreira
Academic documents
2013
Byzantine Fault-Tolerant Consensus in Wireless Ad hoc Networks
(2013)
Henrique Moniz
Nuno Neves
Miguel Correia
Journal articles
2013
BFT-TO: Intrusion Tolerance with Less Replicas
(2013)
Miguel Correia
Nuno Neves
Paulo Veríssimo
Journal articles
2013
On the Efficiency of Durable State Machine Replication
(2013)
Alysson Bessani
Marcel Santos
João Félix
Nuno Neves
Miguel Correia
Conference papers
2013
Securing Energy Metering Software with Automatic Source Code Correction
(2013)
Ibéria Medeiros
Nuno Neves
Miguel Correia
Conference papers
2013
Intercept: Profiling Windows Network Device Drivers
(2013)
Manuel Mendonça
Nuno Neves
Conference papers
2013
An Intrusion-Tolerant Firewall Design for Protecting SIEM Systems
(2013)
Miguel Garcia
Nuno Neves
Alysson Bessani
Conference papers
2012
Robust and Speculative Byzantine Randomized Consensus with Constant Time Complexity in Normal Conditions
(2012)
Bruno Vavala
Nuno F. Neves
Conference papers
2012
Recycling Test Cases to Detect Security Vulnerabilities
(2012)
João Antunes
Nuno F. Neves
Conference papers
2012
Adaptive Monitoring to Detect Intrusions in Critical Servers
(2012)
João Antunes
Nuno F. Neves
Conference papers
2012
Network Attack Injection
(2012)
Antunes, João Alexandre Simões
Neves, Nuno Fuentecilla Maia Ferreira
Academic documents
2012
Attack-Tolerant Communication a Siem Tool
(2012)
Fonseca, Ricardo Jorge Pato
Neves, Nuno Fuentecilla Maia Ferreira
Academic documents
2012
DIVERSYS: DIVErse Rejuvenation SYStem
(2012)
Miguel Garcia
Nuno Neves
Alysson Bessani
Conference papers
2011
Randomization Can Be a Healer: Consensus with Dynamic Omission Failures
(2011)
Henrique Moniz
Nuno Neves
Miguel Correia
Paulo Verissimo
Journal articles
2011
Using Behavioral Profiles to Detect Software Flaws in Network Servers
(2011)
João Antunes
Nuno Neves
Conference papers
2011
Reverse Engineering of Protocols from Network Traces
(2011)
João Antunes
Nuno Neves
Paulo Verissimo
Conference papers
2011
DiveInto: Supporting Diversity in Intrusion-Tolerant Systems
(2011)
João Antunes
Nuno Neves
Conference papers
2011
OS Diversity for Intrusion Tolerance: Myth or Reality?
(2011)
Miguel Garcia
Alysson Neves Bessani
Ilir Gashi
Nuno Ferreira Neves
Rafael R. Obelheiro
Conference papers
2011
Automatically Complementing Protocol Specifications From Network Traces
(2011)
João Antunes
Nuno Neves
Conference papers
2011
Byzantine Consensus in Asynchronous Message-Passing Systems: a Survey
(2011)
Miguel Correia
Giuliana Santos Veronese
Nuno Ferreira Neves
Paulo Verissimo
Other
2011
Randomized Consensus in Wireless Environments
(2011)
Bruno Vavala
Nuno Neves
Henrique Moniz
Paulo Veríssimo
Other
2011
Certificate Polygamy – A Matter of Trust
(2011)
Dias, Paulo de Mendonça
Perrig, Adrian
Neves, Nuno Fuentecilla Maia Ferreira
Academic documents
2011
Reverse Engineering of Protocols
(2011)
Antunes, J.
N. F. Neves
P. Veríssimo
Other
2011
RITAS: Services for Randomized Intrusion Tolerance
(2011)
Henrique Moniz
Nuno Ferreira Neves
Miguel Correia
Paulo Veríssimo
Journal articles
2010
Vulnerability Discovery with Attack Injection
(2010)
João Antunes
Nuno F. Neves
Miguel P. Correia
Paulo Veríssimo
Rui Neves
Journal articles
2010
Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery
(2010)
Paulo Sousa
Alysson N. Bessani
Miguel P. Correia
Nuno F. Neves
Paulo Verissimo
Journal articles
2010
Randomized Consensus in Wireless Environments: A Case Where More is Better
(2010)
Bruno Vavala
Nuno F. Neves
Henrique Moniz
Paulo Verissimo
Conference papers
2010
Turquois: Byzantine Consensus in Wireless Ad hoc Networks
(2010)
Henrique Moniz
Nuno F. Neves
Miguel P. Correia
Conference papers
2010
Using Attack Injection on Closed Protocols
(2010)
João Antunes
Nuno F. Neves
Paulo Verissimo
Conference papers
2010
Turquois: Byzantine Consensus in Wireless Ad hoc Networks (extended version)
(2010)
Henrique Moniz
Nuno F. Neves
Miguel P. Correia
Other
2009
Randomization Can Be a Healer: Consensus with Dynamic Omission Failures
(2009)
Henrique Moniz
Nuno F. Neves
Miguel Correia
Paulo Verissimo
Conference papers
2009
Experimental Validation of Architectural Solutions
(2009)
Alata, Eric et al., with 13 authors including:
Neves, Nuno
Other
2009
Cheap Intrusion-Tolerant Protection for CRUTIAL Things
(2009)
Bessani, Alysson
Correia, Miguel
Neves, Nuno
Sousa, Paulo
Verissimo, Paulo
Other
2009
Intrusion-Tolerant Self-Healing Devices fror Critical Infrastructure Protection
(2009)
Paulo Sousa et al., with 6 authors including:
Fabio Souto
Nuno F. Neves
Conference papers
2009
Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned
(2009)
Paulo Veríssimo
Alysson Bessani
Miguel Correia
Nuno Ferreira Neves
Paulo Sousa
Conference papers
2009
Building an Automaton Towards Reverse Protocol Engineering
(2009)
João Antunes
Nuno Ferreira Neves
Conference papers
2009
Cheap Intrusion-Tolerant Protection for CRUTIAL Things
(2009)
Alysson Bessani
Paulo Sousa
Miguel Correia
Nuno Ferreira Neves
Paulo Veríssimo
Other
2009
A Distributed Systems Approach to Airborne Self-Separation
(2009)
Henrique Moniz
Alessandra Tedeschi
Nuno Ferreira Neves
Miguel Correia
Book chapters
2009
Intrusion-Resilient Middleware Design and Validation
(2009)
Paulo Verissimo
Miguel Correia
Nuno F. Neves
Paulo Sousa
Book chapters
2008
The CRUTIAL Architecture for Critical Information Infrastructures
(2008)
Paulo Verissimo et al., with 7 authors including:
Nuno F. Neves
Book chapters
2008
The Crutial Way of Critical Infrastructure Protection
(2008)
Alysson Neves Bessani
Paulo Sousa
Miguel Correia
Nuno Ferreira Neves
Paulo Veris-simo
Journal articles
2008
The CRUTIAL reference critical information infrastructure architecture: a blueprint
(2008)
Paulo Verissimo
Nuno F. Neves
Miguel Correia
Journal articles
2008
Detection and Prediction of Resource-Exhaustion Vulnerabilities
(2008)
João Antunes
Nuno Ferreira Neves
Paulo Verissimo
Conference papers
2008
The CRUTIAL Reference Critical Information Infrastructure Architecture: A Blueprint
(2008)
Paulo Veríssimo
Nuno F. Neves
Miguel Correia
Journal articles
2008
Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities
(2008)
Manuel Mendonça
Nuno Ferreira Neves
Conference papers
2008
Critical Infrastructure Protection: the CRUTIAL Project
(2008)
Miguel Correia
Alysson N. Bessani
Paulo Sousa
Nuno F. Neves
Paulo Veríssimo
Other
2008
Preliminary Specification of Services and Protocols
(2008)
Nuno Neves
Paulo Verissimo
Other
2008
Experimental Validation of Architectural Solutions
(2008)
Susanna Donatelli et al., with 7 authors including:
Nuno Neves
Other
2008
Experimental Validation of Architectural Solutions
(2008)
Alata, Eric et al., with 6 authors including:
Neves, Nuno Ferreira
Other
2007
Resilient Intrusion Tolerance through Proactive and Reactive Recovery
(2007)
Paulo Sousa
Alysson Bessani
Miguel Correia
Nuno Ferreira Neves
Paulo Veríssimo
Conference papers
2007
Hidden Problems of Asynchronous Proactive Recovery
(2007)
Paulo Sousa
Nuno Ferreira Neves
Paulo Veríssimo
Conference papers
2007
Proceedings of the First Workshop on Recent Advances on Intrusion-Tolerant Systems
(2007)
Correia, Miguel
Neves, Nuno Ferreira
Books
2007
Avaliação de Ferramentas de Análise Estática de Código para Detecção de Vulnerabilidades
(2007)
Emanuel Teixeira
João Antunes
Nuno Ferreira Neves
Conference papers
2007
Localização de Vulnerabilidades de Segurança em Gestores de Dispositivos Wi-Fi com Técnicas de Fuzzing
(2007)
Manuel Mendonça
Nuno Ferreira Neves
Conference papers
2007
Resilient Intrusion Tolerance through Proactive and Reactive Recovery
(2007)
Bessani, Alysson Neves
Correia, Miguel
Neves, Nuno Ferreira
Sousa, Paulo
Veríssimo, Paulo
Other
2007
Intrusion-Tolerant Protection for Critical Infrastructures
(2007)
Bessani, Alysson Neves
Correia, Miguel
Neves, Nuno Ferreira
Sousa, Paulo
Veríssimo, Paulo
Other
2007
Worm-IT ? A Wormhole-based Intrusion-Tolerant Group Communication System
(2007)
Miguel Correia
Nuno Ferreira Neves
Lau Cheuk Lung
Paulo Veríssimo
Journal articles
2007
SINO 2007 – Conferência Nacional sobre Segurança Informática nas Organizações
(2007)
Henrique João Domingos
Nuno Ferreira Neves
Books
2007
When 3f+1 is not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus
(2007)
Alysson Neves Bessani
Miguel Correia
Henrique Moniz
Nuno F. Neves
Paulo Veríssimo
Conference papers
2007
Protecting CRUTIAL Things
(2007)
Alysson Neves Bessani
Paulo Sousa
Miguel Correia
Nuno F. Neves
Paulo Veríssimo
Conference papers
2007
Intrusion Tolerance in Wireless Environments: An Experimental Evaluation
(2007)
Henrique Moniz
Nuno F. Neves
Lau Cheuk Lung
Paulo Veríssimo
Conference papers
2007
Finding Local Resource Exhaustion Vulnerabilities
(2007)
João Antunes
Nuno F. Neves
Paulo Veríssimo
Conference papers
2007
Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities
(2007)
Manuel Mendonça
Nuno Ferreira Neves
Conference papers
2007
Robustness Testing of the Windows DDK
(2007)
Manuel Mendonça
Nuno Ferreira Neves
Conference papers
2006
On the Resilience of Intrusion-Tolerant Distributed Systems
(2006)
Lopes, Antónia
Neves, Nuno Ferreira
Sousa, Paulo
Veríssimo, Paulo
Other
2006
From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures
(2006)
Correia M.
N. F. Neves
P. Veríssimo
Journal articles
2006
Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols
(2006)
Moniz H.
N. F. Neves
M. Correia
P. Veríssimo
Conference papers
2006
Randomized Intrusion-Tolerant Asynchronous Services
(2006)
Moniz H.
N. F. Neves
M. Correia
P. Veríssimo
Conference papers
2006
Using Attack Injection to Discover New Vulnerabilities
(2006)
N. F. Neves
J. Antunes
M. Correia
P. Veríssimo
R. Neves
Conference papers
2006
Proactive Resilience through Architectural Hybridization
(2006)
Sousa P.
N. F. Neves
P. Veríssimo
Conference papers
2006
Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available
(2006)
Sousa P.
N. F. Neves
P. Veríssimo
W. H. Sanders
Conference papers
2006
Intrusion-Tolerant Middleware: The Road to Automatic Security
(2006)
Veríssimo P. et al., with 8 authors including:
Veríssimo P.
N. F. Neves
Journal articles
2006
CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture
(2006)
Veríssimo P.
N. F. Neves
M. Correia
Conference papers
2005
Proactive Resilience through Architectural Hybridization
(2005)
Neves, Nuno Ferreira
Sousa, Paulo
Veríssimo, Paulo
Other
2005
Resilient State Machine Replication
(2005)
Paulo Sousa
Nuno Ferreira Neves
Paulo Veríssimo
Conference papers
2005
Resilient State Machine Replication
(2005)
Neves, Nuno Ferreira
Sousa, Paulo
Veríssimo, Paulo
Other
2005
How Resilient are Distributed f Fault/Intrusion-Tolerant Systems?
(2005)
Paulo Sousa
Nuno Ferreira Neves
Paulo Veríssimo
Conference papers
2005
A New Approach to Proactive Recovery
(2005)
Paulo Sousa
Nuno Ferreira Neves
Paulo Veríssimo
Conference papers
2005
Diagnóstico de Vulnerabilidades através da Injecção de Ataques
(2005)
João Antunes
Nuno Ferreira Neves
Miguel Correia
Paulo Veríssimo
Rui Neves
Conference papers
2005
FTP Tolerante a Intrusões
(2005)
José Pascoal
Tiago Jorge
Miguel Correia
Nuno Ferreira Neves
Paulo Veríssimo
Conference papers
2005
Um Núcleo de Segurança Distribuído para Suporte a Protocolos Tolerantes a Intrusões
(2005)
Pan Jieke
Miguel Correia
Nuno Ferreira Neves
Paulo Veríssimo
Conference papers
2005
Improving Byzantine Protocols with Secure Computational Components
(2005)
Miguel Correia
Alysson Neves Bessani
Nuno Ferreira Neves
Lau Cheuk Lung
Paulo Veríssimo
Other
2005
Resilence State Machine Replication
(2005)
Paulo Sousa
Nuno Ferreira Neves
Paulo Veríssimo
Other
2005
Tolerância a Intrusões em Sistemas Informáticos
(2005)
Nuno Ferreira Neves
Other
2005
How dependable are distributed f fault/tolerant systems?
(2005)
Paulo Sousa
Nuno Ferreira Neves
Paulo Veríssimo
Other
2005
From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures
(2005)
Correia, Miguel
Neves, Nuno Ferreira
Veríssimo, Paulo
Other
2005
Improving Byzantine Protocols with Secure Computational Components
(2005)
Bessani, Alysson Neves
Correia, Miguel
Lung, Lau Cheuk
Neves, Nuno Ferreira
Veríssimo, Paulo
Other
2005
Solving Vector Consensus with a Wormhole
(2005)
Nuno Ferreira Neves
Miguel Correia
Paulo Veríssimo
Journal articles
2005
Low Complexity Byzantine-Resilient Consensus
(2005)
Miguel Correia
Nuno Ferreira Neves
Paulo Veríssimo
Lau Cheuk Lung
Journal articles
2004
From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures
(2004)
Correia, Miguel
Neves, Nuno Ferreira
Veríssimo, Paulo
Other
2004
Tolerância a Intrusões num Sistema em Grid
(2004)
Luis Sardinha
Nuno Ferreira Neves
Paulo Veríssimo
Conference papers
2004
Tolerating Intrusions in Grid Systems
(2004)
Luis Sardinha
Nuno Ferreira Neves
Paulo Veríssimo
Conference papers
2004
Actualização Segura e Automática de Aplicações em Terminais de Venda
(2004)
Manuel Mendonça
Nuno Ferreira Neves
Conference papers
2004
Application Updates on Point of Sale Devices
(2004)
Manuel Mendonça
Nuno Ferreira Neves
Conference papers
2004
Byzantine-ResistanceConsensus based on a Novel Approach to Intrusion Tolerance
(2004)
Miguel Correia
Nuno Ferreira Neves
Lau Lung
Paulo Veríssimo
Conference papers
2004
How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems
(2004)
Miguel Correia
Nuno Ferreira Neves
Paulo Veríssimo
Conference papers
2004
Wormhole-Aware Byzantine Protocols
(2004)
Nuno Ferreira Neves
Miguel Correia
Paulo Veríssimo
Conference papers
2004
An Intrusion-Tolerant Web Server based on the DISTRACT Architecture
(2004)
Rafael Ferraz et al., with 6 authors including:
Nuno Ferreira Neves
Paulo Veríssimo
Conference papers
2004
Concretização de um Sistema de Comunicação em Grupo Tolerante a Intrusões
(2004)
Tiago Jorge
José Pascoal
Miguel Correia
Nuno Ferreira Neves
Paulo Veríssimo
Conference papers
2004
How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems
(2004)
Miguel Correia
Nuno Ferreira Neves
Paulo Veríssimo
Other
2004
From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures
(2004)
Miguel Correia
Nuno Ferreira Neves
Paulo Veríssimo
Other
2003
Intrusion-Tolerant Architectures: Concepts and Design
(2003)
Paulo Veríssimo
Nuno Ferreira Neves
Miguel Correia
Book chapters
2003
A Simple Intrusion-Tolerant Reliable Multicast Protocol using the TTCB
(2003)
Lau C. Lung
Miguel Correia
Nuno F. Neves
Paulo Veríssimo
Conference papers
2003
A Wormhole-based Intrusion-Tolerant Group Communication System - WIT-GCS
(2003)
Miguel Correia
Nuno F. Neves
Lau C. Lung
Paulo Veríssimo
Other
2003
Low Complexity Byzantine-Resilient Consensus
(2003)
Miguel Correia
N. F. Neves
L. C. Lung
P. Veríssimo
Other
2003
Intrusion-Tolerant Architectures: Concepts and Design
(2003)
Paulo Veríssimo
Nuno F. Neves
Miguel Correia
Other
2003
Low Complexity Byzantine-Resilient Consensus
(2003)
Correia, Miguel
Lung, Lau Cheuk
Neves, Nuno Ferreira
Veríssimo, Paulo
Other
2003
Intrusion-Tolerant Architectures: Concepts and Design
(2003)
Correia, Miguel
Neves, Nuno Ferreira
Veríssimo, Paulo
Other
2002
Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model
(2002)
Miguel Correia
Lau Lung
Nuno Ferreira Neves
Paulo Veríssimo
Conference papers
2002
The Design of a COTS Real-Time Distributed Security Kernel
(2002)
Miguel Correia
Paulo Veríssimo
Nuno Ferreira Neves
Conference papers
2002
Complete Specification of APIs and Protocols for the MAFTIA Middleware
(2002)
Nuno Ferreira Neves
Paulo Veríssimo
Other
2002
Complete Specification of APIs and Protocols for the MAFTIA Middleware
(2002)
Armstrong, J. et al., with 15 authors including:
Miranda, Hugo
Neves, Nuno Ferreira
Other
2001
First Specification of APIs and Protocols for the MAFTIA Middleware
(2001)
Armstrong, J. et al., with 15 authors including:
Miranda, Hugo
Neves, Nuno Ferreira
Other
2001
Service and Protocol Architecture for the MAFTIA Middleware
(2001)
Cachin, C. et al., with 11 authors including:
Neves, Nuno Ferreira
Other
2001
MAFTIA (Malicious- and Accidental-Fault Tolerance for Internet Applications)
(2001)
D. Powell et al., with 13 authors including:
N. Neves
P. Veríssimo
Conference papers
2001
The Architecture of a Secure Group Communication System based on Intrusion Tolerance
(2001)
Miguel Correia
Paulo Veríssimo
Nuno Ferreira Neves
Conference papers
2001
The Design of a COTS Real-Time Distributed Security Kernel
(2001)
Miguel Correia
Paulo Veríssimo
Nuno Ferreira Neves
Other
2001
First Specification of APIs and Protocols for the MAFTIA Middleware
(2001)
Nuno Ferreira Neves
Paulo Veríssimo
Other
2001
Service and Protocol Architecture for the MAFTIA Middleware
(2001)
Paulo Veríssimo
Nuno Ferreira Neves
Other
2000
The Middleware Architecture of MAFTIA: A Blueprint
(2000)
Paulo Veríssimo
Nuno F. Neves
Miguel Correia
Conference papers
2000
The Middleware Architecture of MAFTIA: A Blueprint
(2000)
Paulo Veríssimo
Nuno Ferreira Neves
Miguel Correia
Other
2000
The Middleware Architecture of MAFTIA: A Blueprint
(2000)
Correia, Miguel
Neves, Nuno Ferreira
Veríssimo, Paulo
Other
1999
Dependable Distributed and Mobile Computing. Utilizing Time to Enhance Recovery from Failures
(1999)
W.K. Fuchs
N. Neves
K.-F. Ssu
Book chapters
1999
Adaptive Checkpointing with Storage Management for Mobile Environments
(1999)
K.-F. Ssu
B. Yao
W. K. Fuchs
N. F. Neves
Journal articles