Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Research Opportunity
Apply now Final Selection Minute View Formal Call
Research Opportunity

Analysis and Implementation of cryptographic protocols based on CRDTs


Work description

HADES proposes a novel, more efficient, and scalable approach to building secure decentralized systems for society critical applications. Build on emerging new technology in trusted computing, including Intel SGX and ARM TrustZone. These technologies will allow honest clients to build a hardware-backed web of trust where new participants are only accepted if they can prove they are running a trusted software stack inside an isolated environment.

Academic Qualifications

BSc in Computer Science, Informatics Engineering, or similar.

Minimum profile required

Experiência anterior em criptografia.

Preference factors

Background in CRDTs.

Application Period

Since 04 Dec 2019 to 17 Dec 2019


Cluster / Centre

Computer Science / High-Assurance Software

Scientific Advisor

Manuel Barbosa