Linkedin
Research Lines • 

Dependable and Secure Decentralized Systems

Description

Dependable and Secure Decentralized Systems (DS2) 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.

Scientific 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

Homepage:

https://navigators.di.fc.ul.pt/
Profile picture of
Alan Oliveira Integrated Researcher
Profile picture of
Alex Davidson Integrated Researcher
Profile picture of
Alysson Bessani Integrated Researcher
Profile picture of
Andreia Sofia Teixeira Integrated Researcher
Profile picture of
António Casimiro Integrated Researcher
Profile picture of
Bernardo Ferreira Integrated Researcher
Profile picture of
Dulce Domingos Integrated Researcher
Profile picture of
Hasan Heydari Integrated Researcher
Profile picture of
Ibéria Medeiros Integrated Researcher
Profile picture of
José Cecílio Integrated Researcher
Profile picture of
Nuno Neves Integrated Researcher
Profile picture of
Pedro Ferreira Integrated Researcher
Profile picture of
Vinicius Cogo Integrated Researcher
Profile picture of
Salvatore Signorello PhD Collaborator
Profile picture of
Catarina Canastra Collaborator
Profile picture of
Duarte Santos Collaborator
Profile picture of
João Caseirito Collaborator
Profile picture of
Adriano Serckumecka PhD Student
Profile picture of
Allan Espindola PhD Student
Profile picture of
Breno Sousa PhD Student
Profile picture of
Joel Samper PhD Student
Profile picture of
Miracle Aniakor PhD Student
Profile picture of
Paulo Antunes PhD Student
Profile picture of
Rafael Ramires PhD Student
Profile picture of
Robin Vassantlal PhD Student
Profile picture of
Samaneh Shafee PhD Student
Profile picture of
Thomas Eisermann PhD Student
Profile picture of
Zygimantas Jasiunas PhD Student
Profile picture of
Ana Luís MSc Student
Profile picture of
André G. Santos MSc Student
Profile picture of
André David dos Santos MSc Student
Profile picture of
Bruno Cotrim MSc Student
David Dantas MSc Student
David M Goncalves MSc Student
Profile picture of
Diogo Sucena MSc Student
Profile picture of
Diogo Pedro MSc Student
Diogo Fernandes MSc Student
Profile picture of
Ezequiel Barreira MSc Student
Profile picture of
Guilherme Santos MSc Student
Profile picture of
Igor Morais MSc Student
João Neto MSc Student
Profile picture of
Jorge Guerreiro MSc Student
Profile picture of
Leonor Carvalho MSc Student
Profile picture of
Luís Sousa MSc Student
Profile picture of
Luís Viana MSc Student
Profile picture of
Martim Francisco MSc Student
Profile picture of
Miguel Carvalho MSc Student
Profile picture of
Miguel Faísco MSc Student
Profile picture of
Pedro Bastos MSc Student
Profile picture of
Rafael Abrantes MSc Student
Profile picture of
Rita Morais MSc Student
Profile picture of
Samir Abdallah MSc Student
Profile picture of
Tomás Páscoa MSc Student
Profile picture of
Yuri Chiado MSc Student

ONGOING

Acronym Title Funding Entity Start Date End Date
I2DT Intelligent Interoperable Digital Twins P2030 01/11/2024 31/10/2027
BEiNG-WISE Behavioral Next Generation in Wireless Networks for Cyber Security COST ACTION 22/09/2023 21/09/2027
APOSTLE new Approaches for Secure Distributed Data Processing and Access FCT 01/02/2025 31/07/2026
Myriarch FraMewoRk for a multI-ARCHitecture Internet FCT 01/03/2023 28/02/2026
SMaRtChain Fast and Energy-efficient Distributed Consensus for Blockchains FCT 01/03/2023 28/02/2026
SAFEX Security-enhancing framework for private media content exchange “la Caixa” Foundation 27/10/2022 26/10/2025
CIBERLAB CIBERLAB - Laboratório para Ensaios de Cibersegurança para o Setor Elétrico COPEL 01/02/2023 31/07/2025

PAST

Acronym Title Funding Entity Start Date End Date
SEEDS A holistic design of secure vehicular networks: communications, data caching and blockchain services EU 01/03/2021 28/02/2025
CERCIRAS Connecting Education and Research Communities for an Innovative Resource Aware Society COST ACTION 29/09/2020 28/09/2024
VEDLIoT Very Efficient Deep Learning IoT platform EU H2020 01/11/2020 31/10/2023
XIVT eXcellence In Variant Testing P2020 01/01/2020 30/06/2023
ThreatAdapt Adaptive Byzantine Fault and Intrusion Tolerance FCT 01/07/2019 30/06/2023
DAnon Supervised Deanonymization of Dark Web Traffic for Cybercrime Investigation FCT 01/02/2022 31/01/2023
uPVN User-Centric Programmable Virtual Networks FCT 01/10/2018 30/09/2022
SEAL SEcurity progrAmming of web appLications FCT 01/08/2018 30/06/2022
IRCoC Intelligent Resilience for Cloud-of-Clouds Services FCT 01/07/2016 31/12/2019
Abyss Autonomic Byzantine Fault-Tolerant Systems FCT 01/07/2016 31/12/2019
DiSIEM Diversity Enhancements for SIEMs EU H2020 01/09/2016 31/08/2019
RSC Smart Grids Resilient Supervision and Control in Smart Grids FCT 01/03/2016 28/02/2018
Acronym Short Description
Genodedup GenoDedup is an algorithm that integrates efficient similarity-based deduplication and specialized delta-encoding for genome sequencing data
T-CBIR T-CBIR supports searching large scale encrypted image databases based on the images' visual contents.
BISEN BISEN is a searchable symmetric encryption scheme, allowing for secure boolean queries over remote datastores by leveraging Intel SGX for trustworthy computation.
OTD (OSINT Threat Detector pilot) OTD is a service to select cybersecurity threat intelligence from the Twitter stream, targeted to a specified information technology infrastructure.
BFT ordering service for Hyperledger Fabric The BFT ordering service is a wrapper around BFT-SMaRt, a Java open source BFT library.
WAP A source code static analysis and data mining tool to detect and correct input validation vulnerabilities in web applications written in PHP
SCFS A cloud-backed file system that provides strong consistency even on top of eventually-consistent cloud storage services
DepSky A Byzantine-fault-tolerant data-centric storage service to cloud-of-clouds.
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
BFT-SMaRt A high-performance Byzantine fault-tolerant state machine replication library
DepSpace A Byzantine fault-tolerant coordination service based on the tuple space model.
RT-PSS An implementation of the Shamir's secret sharing scheme and Herzberg's proactive secret sharing algorithm
LASIGE TALKS: Pavithren (Viren) V S Pakianathan & Bernardo Ferreira

LASIGE TALKS: Pavithren (Viren) V S Pakianathan & Bernardo Ferreira

19/03/2025
Talks @ DI | Alex Davidson

Talks @ DI | Alex Davidson

19/02/2025
LASIGE TALKS: Sérgio Alves & Samaneh Shafee

LASIGE TALKS: Sérgio Alves & Samaneh Shafee

15/01/2025
Talks @ LASIGE: Xiaojie Zhu

Talks @ LASIGE: Xiaojie Zhu

16/10/2024
CPS and RDNS meetup: Allan Espindola and Zygimantas Jasiunas

CPS and RDNS meetup: Allan Espindola and Zygimantas Jasiunas

09/01/2024
CPS and RDNS meetup: Bakary Badjie

CPS and RDNS meetup: Bakary Badjie

03/10/2023
CPS and RDNS meetup: Rodrigo Simões & Paulo Antunes

CPS and RDNS meetup: Rodrigo Simões & Paulo Antunes

21/06/2023
CPS and RDNS meetup: Cristiano Santos & Jorge Martins

CPS and RDNS meetup: Cristiano Santos & Jorge Martins

31/05/2023
CPS and RDNS meetup: Adriano Mão de Ferro & Rafael Ramires

CPS and RDNS meetup: Adriano Mão de Ferro & Rafael Ramires

17/05/2023
RDNS meetup: Hans Peter Reiser

RDNS meetup: Hans Peter Reiser

10/05/2023
CPS and RDNS meetup: Zygimantas Jasiunas & José Ferreira

CPS and RDNS meetup: Zygimantas Jasiunas & José Ferreira

03/05/2023
CPS and RDNS meetup: Georg Jäger & Robin Vassantlal

CPS and RDNS meetup: Georg Jäger & Robin Vassantlal

19/04/2023
CPS and RDNS meetup: Hasan Heydari

CPS and RDNS meetup: Hasan Heydari

22/03/2023
CPS and RDNS meetup: Joel Samper & Juan Christian

CPS and RDNS meetup: Joel Samper & Juan Christian

08/03/2023
CPS and RDNS meetup: Michele Ianni

CPS and RDNS meetup: Michele Ianni

28/02/2023
CPS and RDNS meetup: Federico Lucchetti

CPS and RDNS meetup: Federico Lucchetti

18/01/2023
CPS and RDNS meetup: Jan Kończak

CPS and RDNS meetup: Jan Kończak

25/07/2022
CPS and RDNS meetup: Jiangshan Yu

CPS and RDNS meetup: Jiangshan Yu

18/07/2022
CPS and RDNS meetup: Inês Sousa and Pedro Rosa

CPS and RDNS meetup: Inês Sousa and Pedro Rosa

02/06/2022
CPS and RDNS meetup: Zygimantas Jasiunas and Tiago Carvalho

CPS and RDNS meetup: Zygimantas Jasiunas and Tiago Carvalho

19/05/2022
CPS and RDNS meetup: Allan Espindola and Samaneh Shafee

CPS and RDNS meetup: Allan Espindola and Samaneh Shafee

05/05/2022
CPS and RDNS meetup: Zygimantas Jasiunas and Nuno Durão

CPS and RDNS meetup: Zygimantas Jasiunas and Nuno Durão

21/04/2022
CPS and RDNS meetup: André Cruz

CPS and RDNS meetup: André Cruz

06/04/2022
CPS and RDNS meetup: Nuno Dionísio

CPS and RDNS meetup: Nuno Dionísio

24/03/2022
CPS and RDNS meetup: Miracle Aniakor

CPS and RDNS meetup: Miracle Aniakor

09/03/2022
CPS and RDNS meetup: Carlos Mão de Ferro and David Silva

CPS and RDNS meetup: Carlos Mão de Ferro and David Silva

09/02/2022
CPS and RDNS meetup: Robin Vassantlal & João Loureiro

CPS and RDNS meetup: Robin Vassantlal & João Loureiro

25/01/2022
CPS and RDNS meetup: Rohit Kumar & Daniel Ângelo

CPS and RDNS meetup: Rohit Kumar & Daniel Ângelo

11/01/2022
CPS and RDNS meetup: Paulo Antunes

CPS and RDNS meetup: Paulo Antunes

15/12/2021
CPS and RDNS meetup: Maria Fidalgo

CPS and RDNS meetup: Maria Fidalgo

02/12/2021
CPS and RDNS meetup: Hans P. Reiser

CPS and RDNS meetup: Hans P. Reiser

04/11/2021
NavTalks | Inês Gouveia (Critix)

NavTalks | Inês Gouveia (Critix)

25/03/2020
Bruno Vavala (Intel Labs) at LASIGE Talks: Private Data Objects

Bruno Vavala (Intel Labs) at LASIGE Talks: Private Data Objects

24/09/2018
Load More
fct logo
LASIGE is supported by FCT via projects UIDB/00408/2020
(DOI: 10.54499/UIDB/00408/2020), UIDP/00408/2020
(DOI: 10.54499/UIDP/00408/2020), and ref. UID/00408/2025

Faculdade de Ciências da Universidade de Lisboa
Departamento de Informática
Edifício C6 Piso 3 - Sala 6.3.30
Campo Grande - 1749 - 016 Lisboa, Portugal

lasige@ciencias.ulisboa.pt

(+351) 217 500 532

LASIGE © Powered by Delta Soluções