Open positions

Estou procurando estudantes de mestrado e de doutorado para trabalhar com criptografia no Instituto de Computação da UNICAMP.

Se você se interessa por criptografia, principalmente por um dos tópicos abaixo (mas não somente eles), por favor, entre em contato (hilder@unicamp.br) e vamos conversar (:

  • FHE (Fully homomorphic encrypion) -- criptografia homomórfica: ela nos permite cifrar os dados e depois enviá-los a um servidor, que pode calcular qualquer função sobre os dados cifrados, em seguida, podemos baixar o resultado cifrado. Por exemplo, você pode cifrar suas fotos e carregá-las em um editor online, aplicar alguns filtros e baixar o resultado (cifrado). Como as imagens são cifradas, o site não aprende nada sobre elas e só você tem acesso à foto original e ao resultado. Essa aplicação foi implementada aqui: Zama's demo.

  • Criptografia pós-quântica, especialmente baseada em reticulados (lattice-based cryptography): é uma área da criptografia que estuda técnicas para criar esquemas que são seguros mesmo quando são atacados por computadores quânticos. Você pode encontrar mais informações aqui.

  • Computação multiparte segura (MPC, multiparty computation): permite que muitas partes que não confiam umas nas outras calculem em conjunto uma função usando como entrada dados de todas as partes, mas sem revelar as entradas. Você pode encontrar mais informações aqui.

  • Provas de conhecimento zero, especialmente provas sucintas, como zk-SNARKs: elas nos permitem convencer outra pessoa de que sabemos algo, como a solução de um problema, sem revelar a própria solução. Você pode encontrar mais informações aqui.