HADES

About the Project

HArdware-backed trusted and scalable DEcentralized Systems

HADES proposes a novel secure, more efficient, and scalable approach to building completely decentralised systems for society critical applications. Building on emerging technologies for trusted computing, including Intel SGX e ARM TrustZones, HADES will leverage a distributed system model of hardware-backed trusted execution environments. This model will allow critical application logic to be performed in isolation from other (possibly malicious) processes, and will be key to reducing computational and communicational costs of expensive cryptographic protocols and used today in secure decentralised systems.

Acronym

HADES

Responsible

Manuel Barbosa

Status

Concluded

Starting Date

January 1, 2018

Ending Date

January 31, 2022

Effective End Date

January 31, 2022

Global Budget

€239,383.19

Funding

€79,936.02

Website

https://novasys.di.fct.unl.pt/projects/hades/

Datasheet

Members

Team Leaders

Manuel Barbosa

Team Members

Bernardo Luís Portela

Senior Researcher

José Bacelar Almeida

Senior Researcher

Manuel Barbosa

Dissemination

INESC TEC has a unique and differentiating management model, improved over its 35 years of history. Reflecting its unique position between academia and industry, the management at INESC TEC carefully balances, in a hybrid model, the academic culture of scientific freedom and dialogue with a culture of efficiency and responsibility in management.

link for

Associated Centres

High-Assurance Software

At the High-Assurance Software Laboratory (HASLab), we improve practice through theory, creating and implementing software that goes beyond mere functionality: we ensure it is correct, resilient, and secure against failures and attacks. Our team of researchers, scientists, and engineers has proven expertise in software engineering, developing methods and tools to design and integrate robust software; in distributed systems, exploring distribution and replication to ensure scalability and reliability; and in information security, addressing cybersecurity challenges and improving systems with advanced, secure cryptographic protocols, thus minimising vulnerabilities. With a multidisciplinary approach supported by solid theoretical principles, we develop innovative solutions for critical software, secure cloud infrastructures, and privacy-aware big data management, driving scientific advancement, innovation, and high-level consultancy. In addition, we complement our core expertise with work in human-computer interaction, programming languages, computational mathematics, and quantum computing - because we believe the future of trustworthy software is built on knowledge and innovation.