Research Lines •
Dependable and Secure Decentralized Systems
ONGOING
| Acronym | Title | Funding Entity | Start Date | End Date |
|---|---|---|---|---|
| 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 |
