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

Análise e implementação de protocolos criptográficos baseados em Isolated Security Environments (PT)

[Closed]

Work description

HADES alavancará um modelo de sistema descentralizado onde cada participante é capaz de criar ambientes de execução confiáveis suportados por hardware na sua máquina que permitirão que a lógica de aplicação seja executada em isolamento de outros processos, incluindo o Hypervisor/Sistema Operativo, e permitirá que clientes honestos construam uma rede de confiança onde novos participantes são aceites mediante prova que estão a executar uma pilha de software confiável dentro de um ambiente isolado

Academic Qualifications

Mestrado em Engenharia Informática

Minimum profile required

Experiência anterior provas de segurança criptográfica.

Preference factors

Conhecimentos na formalização de provas de segurança criptográfica.

Application Period

Since 19 Aug 2019 to 30 Aug 2019

[Closed]

Cluster / Centre

Computer Science / High-Assurance Software

Scientific Advisor

Manuel Barbosa