Criptografia pós-quântica na comunicação IPC sobre o microkernel seL4

Abstract

Este trabalho investiga a integração de algoritmos de criptografia pós-quântica utilizando a biblioteca liboqs no microkernel seL4. O objetivo é modificar as primitivas de comunicação do microkernel para assegurar a comunicação segura entre processos (IPC), utilizando os algoritmos Crystals-Kyber e Crystals-Dilithium para troca de chaves e assinaturas digitais, respectivamente. A proposta é analisada em termos de segurança, desempenho e viabilidade em sistemas embarcados críticos, proporcionando uma solução robusta contra as ameaças emergentes da computação quântica.