Resilient Distributed and Networked Systems

Line Tabs

Information

Description:

This line of research investigates models, protocols and architectures, that are suitable for applications with strong dependability requirements, namely applications that need to remain operational despite accidental faults or malicious attacks. The solutions being developed cover a diverse set of objectives, enforcing the prevention, detection and tolerance of failures. The kind of environments that are being contemplated include cloud deployments, highly dynamic and geographically distributed networks, mobile distributed computing, web systems and applications, smart grids and other critical infrastructures.

Targeted areas:

Fault and intrusion tolerant architectures and protocols
Resilient Multi‐Cloud Storage and Networks
Secure Software Defined Networks (SDN) and Functions (NFV)
Blockchain
Vulnerability Discovery and Removal
Programmable Networks
Critical Infrastructures
Mobile Networks and Hand‐Held Devices
Security Information and Event Management (SIEM)

Leader:

Nuno Neves

Members

Research Line Members:

Name	Category
Alysson Bessani	Integrated Researcher
António Casimiro	Integrated Researcher
Dulce Domingos	Integrated Researcher
Fernando Ramos	Integrated Researcher
Ibéria Medeiros	Integrated Researcher
Naercio Magaia	Integrated Researcher
Nuno Neves	Integrated Researcher
Pedro Ferreira	Integrated Researcher
João Sousa	PhD Collaborator
Salvatore Signorello	PhD Collaborator
Adriano Serckumecka	PhD Student
Fernando Alves	PhD Student
Max Alaluna	PhD Student
Miguel Garcia H...	PhD Student
Paulo Antunes	PhD Student
Regivaldo Costa	PhD Student
Rui Miguel	PhD Student
Tulio Ribeiro	PhD Student
Vinicius Cogo	PhD Student
Ana Fidalgo	MSc Student
André Oliveira	MSc Student
Bruno Lourenço	MSc Student
Cláudio Martins	MSc Student
Diogo Sousa	MSc Student
Diogo V. Gonçalves	MSc Student
Francisco Araújo	MSc Student
João Paulino	MSc Student
Miguel A. Matos	MSc Student
Miguel Moreira	MSc Student
Nuno Dionísio	MSc Student
Pedro Alves	MSc Student
Pedro Gaspar	MSc Student
Ricardo Morgado	MSc Student
Robin Vassantlal	MSc Student
Rui Azevedo	MSc Student
Tomás Peixinho	MSc Student
Eric Vial	Collaborator
Ricardo Mendes	Collaborator
Tiago Oliveira	Collaborator

Software and Tools

Software and Tools:

Title	Short descritption
BFT ordering service for Hyperledger Fabric
BFT-SMaRt	A high-performance Byzantine fault-tolerant state machine replication library
DepSky	A Byzantine-fault-tolerant data-centric storage service to cloud-of-clouds.
DepSpace	A Byzantine fault-tolerant coordination service based on the tuple space model.
DNA Privacy Detector	A method that systematically detects privacy-sensitive DNA segments coming directly from an input stream
JDNA	A referential compressor for aligned DNA files
OpenRQ	A Java library that implements the RaptorQ FEC scheme described in RFC 6330
RT-PSS	An implementation of the Shamir's secret sharing scheme and Herzberg's proactive secret sharing algorithm
SCFS	A cloud-backed file system that provides strong consistency even on top of eventually-consistent cloud storage services
WAP	A source code static analysis and data mining tool to detect and correct input validation vulnerabilities in web applications written in PHP

Publications

2016

Conference Paper

Marques-Silva, J., Ignatiev A., Mencía C., & Peñaloza R. (2016). Efficient reasoning for inconsistent horn formulae. European Conference on Logics in Artificial Intelligence. 336–352.

Journal Article

Ferrolho, L., Alaluna M., Neves N., & Ramos F. (2016). Secure and dependable virtual network embedding. arXiv preprint arXiv:1602.02268.

Medeiros, I. Vitória d (2016). Detection of vulnerabilities and automatic protection for web applications.

Alchieri, E. Adilio Pel, Bessani A., Greve F., & Fraga J. da Silva (2016). Knowledge Connectivity Requirements for Solving Byzantine Consensus with Unknown Participants. IEEE Transactions on Dependable and Secure Computing.

Ignatiev, A., Janota M., & Marques-Silva J. (2016). Quantified maximum satisfiability. Constraints. 21, 277–302.

Janota, M., & Marques-Silva J. (2016). On the query complexity of selecting minimal sets for monotone predicates. Artificial Intelligence. 233, 73–83.

Domingos, D., Respicio A., & Martinho R. (2016). Reliability of IoT-Aware BPMN Healthcare Processes. Internet of Things and Advanced Application in Healthcare. 214.

Costa, R., & Ramos F. (2016). An SDN-based approach to enhance BGP security. arXiv preprint arXiv:1602.06924.

Medeiros, I., Neves N., & Correia M. (2016). Detecting and removing web application vulnerabilities with static analysis and data mining. IEEE Transactions on Reliability. 65, 54–69.

Alchieri, E., Bessani A., Greve F., & Fraga J. (2016). Efficient and Modular Consensus-Free Reconfiguration for Fault-Tolerant Storage. arXiv preprint arXiv:1607.05344.

You are here