Research Lines •
Dependable and Secure Decentralized Systems
Alan Oliveira
Integrated Researcher
Alysson Bessani
Integrated Researcher
Andreia Sofia Teixeira
Integrated Researcher
António Casimiro
Integrated Researcher
Bernardo Ferreira
Integrated Researcher
Dulce Domingos
Integrated Researcher
Hasan Heydari
Integrated Researcher
Ibéria Medeiros
Integrated Researcher
José Cecílio
Integrated Researcher
Nuno Neves
Integrated Researcher
Pedro Ferreira
Integrated Researcher
Vinicius Cogo
Integrated Researcher
Naercio Magaia
PhD Collaborator
Salvatore Signorello
PhD Collaborator
Catarina Canastra
Collaborator
João Caseirito
Collaborator
Adriano Serckumecka
PhD Student
Allan Espindola
PhD Student
Breno Sousa
PhD Student
Eduardo Machado
PhD Student
Fernando Alves
PhD Student
Joel Samper
PhD Student
Miracle Aniakor
PhD Student
Paulo Antunes
PhD Student
Paulo Marques
PhD Student
Rafael Ramires
PhD Student
Robin Vassantlal
PhD Student
Samaneh Shafee
PhD Student
Thomas Eisermann
PhD Student
Zygimantas Jasiunas
PhD Student
Ana Luís
MSc Student
André G. Santos
MSc Student
André David dos Santos
MSc Student
Bruno Cotrim
MSc Student
David Dantas
MSc Student
David M Goncalves
MSc Student
Diogo Sucena
MSc Student
Diogo Pedro
MSc Student
Diogo Novo
MSc Student
Duarte Santos
MSc Student
Filipe Rodrigues
MSc Student
Guilherme Santos
MSc Student
Jorge Guerreiro
MSc Student
Leonor Carvalho
MSc Student
Luís Carlos Correia
MSc Student
Luís Ferreirinha
MSc Student
Luís Sousa
MSc Student
Luís Viana
MSc Student
Martim Francisco
MSc Student
Miguel Carvalho
MSc Student
Miguel Faísco
MSc Student
Núria Santos
MSc Student
Pedro Bastos
MSc Student
Pedro L. Martins
MSc Student
Rafael Abrantes
MSc Student
Rita Morais
MSc Student
Sandro Lopes
MSc Student
Sérgio Ferreira
MSc Student
Tiago Antão
MSc Student
Tomás Páscoa
MSc Student
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 |
SEEDS | A holistic design of secure vehicular networks: communications, data caching and blockchain services | EU | 01/03/2021 | 28/02/2025 |
PAST
Acronym | Title | Funding Entity | Start Date | End Date |
---|---|---|---|---|
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 |