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
João Marques Silva	Integrated Researcher
Nuno Neves	Integrated Researcher
Pedro Ferreira	Integrated Researcher
João Sousa	Hired Researcher
Rui Miguel	Hired Researcher
Miguel Garcia H...	PhD Student
Regivaldo Costa	PhD Student
Tulio Ribeiro	PhD Student
André Oliveira	MSc Student
Nuno Dionísio	MSc Student
Paulo Antunes	MSc Student
Rui Azevedo	MSc Student
Tomás Peixinho	MSc Student

Software and Tools

Software and Tools:

Title	Short descritption
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

Botelho, F., Ribeiro T. A., Ferreira P., Ramos F. M. V., & Bessani A. (2016). Design and Implementation of a Consistent Data Store for a Distributed SDN Control Plane. Dependable Computing Conference (EDCC), 2016 12th European. 169–180.

Journal Article

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.

You are here