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