Ramos, Gabriela, Esteves, Andrei, AND Giron, Alexandre. " Evaluating the Proof of Possession of KEM Keys Based on Verifiable Generation" Companion Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg) [Online], (1 September 2025)