Ramos, Gabriela, Andrei Filipim Esteves, and Alexandre Augusto Giron. " Evaluating the Proof of Possession of KEM Keys Based on Verifiable Generation." Companion Proceedings of the 25th Brazilian Symposium on Cybersecurity, Foz do IguaƧu/PR, 2025. SBC, 2025, pp.352-358.