Efficiency and security of pre and post quantum cryptographic methods: theory and applications

Resumo

A Criptografia embasa a grande maioria das soluções de segurança da informação. Seu estudo desabrochou numa grande área na intersecção da Matemática, Estatística, Computação e Engenharia, congregando campos como Álgebra, Geometria, Teoria dos Números, Complexidade, e as versões quânticas de alguns desses. Pesquisa em algoritmos e protocolos criptográficos seguros e eficientes se apoia em várias camadas de ciência teórica misturada a condicionantes tecnológicos. Exatamente por essas razões, esta proposta visa ao fortalecimento de laços existentes, mas ainda informais, entre pesquisadores de várias dessas áreas afins criptograficamente, a fim de enfrentar desafios de pesquisa em Criptografia Pós-quântica (baseada em códigos e reticulados) e também a baseada em curvas, uma área já clássica e rica em interações entre Corpos Finitos, Teoria dos Números e Computação. Nossa proposta se encaixa perfeitamente nos objetivos do Projeto Temático Fapesp em andamento, intitulado "Segurança e Confiabilidade da Informação: Teoria e Prática", cujo foco é a interação de Matemática, Computação e Engenharia como base da Segurança da Informação, em especial a Criptografia. For o grupo da Unicamp, o grupo de Carleton trará uma enorme expertise internacional em Corpos Finitos, Códigos e Geometria; para o grupo de Carleton, será uma oportunidade interessante de expansão dos seus horizontes de pesquisa para incluir Criptografia de curvas e Pós-quântica, que tem sido o foco do grupo da Unicamp por mais de 30 anos. (AU)