Computação verificável e criptografia completamente homomórfica

• Processo: 25/18160-1
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de outubro de 2025
• Data de Término da vigência: 31 de julho de 2027
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Teoria da Computação
• Pesquisador responsável: Hilder Vitor Lima Pereira
• Beneficiário: Vanessa Carvalho Lima
• Instituição Sede: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Vinculado ao auxílio: 23/12755-8 - Criptografia homomórfica e computação sobre dados cifrados, AP.JP
• Assunto(s): Criptologia
• Palavra(s)-Chave do Pesquisador: Computação verificável | criptografia homomórfica | Provas criptográficas | Criptografia

Resumo

Criptografia completamente homomórfica (CCH) é a ferramenta ideal quando um cliente deseja despachar computação a um terceiro, o servidor, sem revelar os dados, pois ela permite que o servidor faça computação sobre os dados cifrados, mantendo assim a segurança do cliente.No entanto, a corretude da computação também é uma preocupação. Em outras palavras, o cliente tem uma função f em mente, envia x cifrado ao servidor e deseja não apenas que x continue secreto, mas também que o criptograma devolvido pelo servidor cifre f(x).Normalmente, argumenta-se que em aplicações comerciais, os servidores não têm interesse em trapacear e calcular outra função em vez de $f$,já que poderiam ser descobertos e terem suas reputações manchadas. Então, é comum assumir que o servidor segue o protocolo devidamente, ou seja,calcula f(x) como esperado.Mas, em diversos cenários, é desejável que o cliente tenha alguma forma de garantir que o resultado está correto, sem precisar supor que o servidor segue o protocolo.Para conseguir isso, trabalhos recentestêm tentado combinar protocolos de computação verificável (CV) com CCH para obter computação verificável sobre dados cifrado.Este projeto de mestrado visa melhorar o estado da arte em CV com CCH, pesquisando novas formas de combinar os dois, novas construções e aplicações.