Execução segura de algoritmos criptográficos

• Processo: 14/50704-7
• Modalidade de apoio: Auxílio à Pesquisa - Parceria para Inovação Tecnológica - PITE
• Data de Início da vigência: 01 de novembro de 2015
• Data de Término da vigência: 31 de dezembro de 2018
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação
• Acordo de Cooperação: Intel
• Pesquisador responsável: Julio César López Hernández
• Beneficiário: Julio César López Hernández
• Instituição Sede: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Empresa: Intel Semicondutores do Brasil Ltda
• Município: Campinas
• Pesquisadores principais: Diego de Freitas Aranha ; Ricardo Dahab
• Assunto(s): Análise numérica Algoritmos Criptologia
• Palavra(s)-Chave do Pesquisador: Computacao

Resumo

FORMTEXTA Internet das Coisas (The Internet of Things - loT) permite a interconexão de dispositivos embarcados que manipulam dados de diferentes tipos e realizam tarefas críticas. Este cenário promete trazer benefícios diretos para as vidas das messpas, mas definitivamente traz novos requisitos para sua implementação efetiva. Entre esses requisitos, segurança e privacidade surgiram como dimensões novas e desafiadores para o projeto de sistemas embarcados. Desta forma, encontrar soluções para este problema é essencial. Apesar da importância de equipar a loT com segurança fortes, a mudança de paradigma trazida pora essa nova tecnologia traz como problema relevante o projeto desses mecanismos de segurança: enquanto os dispositivos precisam ser mantidos pequenos e baratos, o volume gigantesco de dados e sua natureza potencialmente sensível terão implicações importantes do ponto de vista de privacidade. Ao mesmo tempo qualquer solução prática para o problema precisa considerar as restrições de recursos na plataforma-alvo e sua proteção limitada contra manipulação. Neste contexto, este projeto de pesquisa propõe o projeto simultâneo de funcionalidades em hardware e software criptográfico que atuem em conjunto para a proteção de sistemas embarcados operando em um ambiente loT. O objetivo é, portanto, projetar e implementar esquemas criptográficos leves para dispositivos loT e outras plataformas embarcadas, integrando-os com resistência a canal lateral fornecida em nível de instrução pela arquitetura. A combinação de recursos em hardware software deve ser validada por análise formal e avaliação experimental. (AU)

Publicações científicas

(10)

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

FAZ-HERNANDEZ, ARMANDO; LOPEZ, JULIO; OCHOA-JIMENEZ, EDUARDO; RODRIGUEZ-HENRIQUEZ, FRANCISCO. A Faster Software Implementation of the Supersingular Isogeny Diffie-Hellman Key Exchange Protocol. IEEE TRANSACTIONS ON COMPUTERS, v. 67, n. 11, p. 1622-1636, NOV 2018. (14/50704-7)

FAZ-HERNANDEZ, ARMANDO; LOPEZ, JULIO; DAHAB, RICARDO. High-performance Implementation of Elliptic Curve Cryptography Using Vector Instructions. ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, v. 45, n. 3, AUG 2019. (14/50704-7)

GUIMARAES, ANTONIO; BORIN, EDSON; ARANHA, DIEGO F.; BALDI, M; PERSICHETTI, E; SANTINI, P. Introducing Arithmetic Failures to Accelerate QC-MDPC Code-Based Cryptography. CODE-BASED CRYPTOGRAPHY, CBC 2019, v. 11666, p. 25-pg., 2019-01-01. (14/50704-7, 13/08293-7)

DAVI RESENDE, AMANDA C.; ARANHA, DIEGO F.; MEIKLEJOHN, S; SAKO, K. Faster Unbalanced Private Set Intersection. FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2018, v. 10957, p. 19-pg., 2018-01-01. (14/50704-7)

GUIMARAES, ANTONIO; ARANHA, DIEGO F.; BORIN, EDSON. Optimized implementation of QC-MDPC code-based cryptography. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, v. 31, n. 18, SI, SEP 25 2019. (13/08293-7, 14/50704-7)

DA SILVA, JOAO PAULO; LOPEZ, JULIO; DAHAB, RICARDO. ISOGENY FORMULAS FOR JACOBI INTERSECTION AND TWISTED HESSIAN CURVES. Advances in Mathematics of Communications, v. 14, n. 3, p. 507-523, AUG 2020. (14/50704-7)

FAZ-HERNANDEZ, ARMANDO; FUJII, HAYATO; ARANHA, DIEGO F.; LOPEZ, JULIO; ALI, SS; DANGER, JL; EISENBARTH, T. A Secure and Efficient Implementation of the Quotient Digital Signature Algorithm (qDSA). SECURITY, PRIVACY, AND APPLIED CRYPTOGRAPHY ENGINEERING, SPACE 2017, v. 10662, p. 20-pg., 2017-01-01. (14/50704-7)

ARANHA, DIEGO F.; AZARDERAKHSH, REZA; KARABINA, KORAY; ALI, SS; DANGER, JL; EISENBARTH, T. Efficient Software Implementation of Laddering Algorithms Over Binary Elliptic Curves. SECURITY, PRIVACY, AND APPLIED CRYPTOGRAPHY ENGINEERING, SPACE 2017, v. 10662, p. 19-pg., 2017-01-01. (14/50704-7)

GUIMARAES, ANTONIO; ARANHA, DIEGO F.; BORIN, EDSON. Optimized implementation of QC-MDPC code-based cryptography. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, v. 31, n. 18, p. 17-pg., 2019-09-25. (14/50704-7, 13/08293-7)

FAZ-HERNANDEZ, ARMANDO; LOPEZ, JULIO; DE OLIVEIRA, ANA KARMA D. S.; ASSOC COMP MACHINERY. SoK: A Performance Evaluation of Cryptographic Instruction Sets on Modern Architectures. APKC'18: PROCEEDINGS OF THE 5TH ACM ASIA PUBLIC-KEY CRYPTOGRAPHY WORKSHOP, v. N/A, p. 10-pg., 2018-01-01. (14/50704-7)