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 Sousa	Integrated Researcher
José Cecílio	Integrated Researcher
Naercio Magaia	Integrated Researcher
Nuno Neves	Integrated Researcher
Pedro Ferreira	Integrated Researcher
Salvatore Signorello	PhD Collaborator
Adriano Serckumecka	PhD Student
Fernando Alves	PhD Student
João Amado	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
Bruno Nunes	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
Pedro Gaspar	MSc Student
Pedro Rafael Alves	MSc Student
Ricardo Morgado	MSc Student
Robin Vassantlal	MSc Student
Rui Azevedo	MSc Student
Tomás Peixinho	MSc Student
Eric Vial	Collaborator
Nuno Dionísio	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

Journal Article

Mantas, A., & Ramos F. (2016). Consistent and fault-tolerant SDN with unmodified switches. arXiv preprint arXiv:1602.04211.

Bessani, A., Neves N. F., Veríssimo P., Dantas W., Fonseca A., Silva R., et al. (2016). JITeR: Just-in-time application-layer routing. Computer Networks. 104, 122–136.

Ilahi, L., Martinho R., Ghannouchi S. Ayachi, Domingos D., & Rijo R. (2016). Similarity Based Approach for Comparing Home Healthcare Processes Models in Portugal. Procedia Computer Science. 100, 1250–1259.

Lacoste, M., Miettinen M., Neves N., Ramos F. M. V., Vukolić M., Charmet F., et al. (2016). User-Centric Security and Dependability in the Clouds-of-Clouds. IEEE Cloud Computing. 3, 64–75.

Garcia, M., Neves N., & Bessani A. (2016). Sieveq: A layered bft protection system for critical services. IEEE Transactions on Dependable and Secure Computing.

Conference Paper

Medeiros, I., Beatriz M., Neves N., & Correia M. (2016). Hacking the DBMS to Prevent Injection Attacks. Proceedings of the Sixth ACM Conference on Data and Application Security and Privacy. 295–306.

M Arif, F., Mencía C., Ignatiev A., Manthey N., Peñaloza R., & Marques-Silva J. (2016). BEACON: An Efficient SAT-Based Tool for Debugging {\mathcal {EL}}{^+} Ontologies. International Conference on Theory and Applications of Satisfiability Testing. 521–530.

Costa, P. A. R. S., Bai X., Ramos F. M. V., & Correia M. (2016). Medusa: An efficient cloud fault-tolerant mapreduce. Cluster, Cloud and Grid Computing (CCGrid), 2016 16th IEEE/ACM International Symposium on. 443–452.

Martinho, R., Domingos D., & Respicio A. (2016). Evaluating the reliability of ambient-assisted living business processes. Proceedings of the 18th International Conference on Enterprise Information Systems. 528–536.

Medeiros, I., Neves N., & Correia M. (2016). Equipping WAP with WEAPONS to Detect Vulnerabilities: Practical Experience Report. Dependable Systems and Networks (DSN), 2016 46th Annual IEEE/IFIP International Conference on. 630–637.

You are here