3-setwise intersecting families of the symmetric group. - Angelot Behajaina; Roghayeh Maleki; Aina Toky Rasoamanana; Andriaherimanana Sarobidy Razafimahatratra (Discret. Math., 2021)

Towards a Systematic and Automatic Use of State Machine Inference to Uncover Security Flaws and Fingerprint TLS Stacks. - Aina Toky Rasoamanana; Olivier Levillain; Hervé Debar (ESORICS (3), 2022)

Derivation and Analysis of Cryptographic Protocol Implementation. (Dérivation et analyse des implémentations des protocoles cryptographiques). - Aina Toky Rasoamanana (2023)