Formal Verification of Confidentiality in DNSSEC and E-DNSSEC Protocols using pi-calculus and ProVerif. - Kaouthar Chetioui; Ghizlane Orhanou; Hicham Bensaid; Ilias Cherkaoui; Youness Chibi (EUSPN/ICTH, 2019)

Novel Hybrid Post-Quantum Encryption Design on Embedded Devices. - Ilias Cherkaoui; Omer Ali; Jerry Horgan (ETFA, 2024)

Engel p-adic Supersingular Isogeny-based Cryptography over Laurent series. - Ilias Cherkaoui; Ciaran Clarke; Indrakshi Dey (IACR Cryptol. ePrint Arch., 2025)

Zero-Trust Post-quantum Cryptography Implementation Using Category Theory. - Ilias Cherkaoui; Ciaran Clarke; Jerry Horgan; Indrakshi Dey (IACR Cryptol. ePrint Arch., 2025)

Quasi-cyclic Linear Error-Block Code-based Post-quantum Signature. - Ilias Cherkaoui; S. Belabssir; Jerry Horgan; Indrakshi Dey (CoRR, 2025)