Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Oportunidade Investigação
Submeter candidatura Ata de reunião de Júri Consultar edital
Oportunidade Investigação

Criptografia e Segurança

[Fechado]

Descrição da Oportunidade

Os projectos associados às bolsas deste anúncio consistem na codificação da componente de software criptográfico de Geração de Números Aleatórios, de modo a poderem ser integradas no "Password Manager" adoptado como prova de conceito do projecto PassCert. O projecto irá adoptar a linguagem adoptada para a codificação é o Jasmin (https://github.com/jasmin-lang/jasmin), e as ferramentas de verificação associadas, nomeadamento o demonstrador de teoremas EasyCrypt (https://www.easycrypt.info/trac/ ). Em detalhe, as diferentes tarefas do projecto são: - Codificação de uma implementação de referência em Jasmin, adoptando como especificação um standard e/ou artigo com descrição do algoritmo; - Refinamento para uma implementação de alto desempenho para a arquitectura alvo x86, possivelmente recorrendo a extensões de instruções vectorizadas AVX; - Escrita do relatório de actividades da bolsa. As tarefas descritas neste plano de trabalhos requerem a aplicação e o desenvolvimento de conceitos e técnicas da área da Engenharia de Informática tipicamente lecionados em unidades curriculares que compõem o núcleo do plano de estudos dos Mestrados Integrados em Engenharia Informática ou de Mestrado em Engenharia Informática.

Habilitações Académicas

Grau de Licenciatura em Informática

Requisitos Mínimos

- Média de licenciatura de 12 ou superior.

Fatores de Preferência

- Experiência em programação de baixo nível (assembly) - Experiência na verificação formal de programas, e de demonstradores de teoremas interactivos (e.g. Coq, Easycrypt); - Contacto prévio com os sistemas adoptados no projecto (linguagem Jasmin e demonstrador de teoremas Easycrypt); - Domínio da língua Inglesa.

Período de candidatura

Desde 13 Dec 2021 a 27 Dec 2021

[Fechado]

Cluster / Centro

Informática / Laboratório de Software Confiável