Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
  • Menu
Research Opportunity
Apply now 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