Aina Toky Rasoamanana

According to our database, Aina Toky Rasoamanana authored at least 3 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

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

Aina Toky Rasoamanana

PhD thesis, 2023

2022

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

Proceedings of the Computer Security - ESORICS 2022, 2022

2021

3-setwise intersecting families of the symmetric group.

Angelot Behajaina, Roghayeh Maleki, Aina Toky Rasoamanana, Andriaherimanana Sarobidy Razafimahatratra

Discret. Math., 2021