The DEEPSEC Prover. - Vincent Cheval; Steve Kremer; Itsaka Rakotonirina (CAV (2), 2018)

DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice. - Vincent Cheval; Steve Kremer; Itsaka Rakotonirina (IEEE Symposium on Security and Privacy, 2018)

Exploiting Symmetries When Proving Equivalence Properties for Security Protocols. - Vincent Cheval; Steve Kremer; Itsaka Rakotonirina (CCS, 2019)

On Aggregation of Information in Timing Attacks. - Itsaka Rakotonirina; Boris Köpf (EuroS&P, 2019)

The Hitchhiker's Guide to Decidability and Complexity of Equivalence Properties in Security Protocols. - Vincent Cheval; Steve Kremer; Itsaka Rakotonirina (Logic, Language, and Security, 2020)

A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer. - Antoine Delignat-Lavaud; Cédric Fournet; Bryan Parno; Jonathan Protzenko; Tahina Ramananandro; Jay Bosamiya; Joseph Lallemand; Itsaka Rakotonirina; Yi Zhou 025 (IACR Cryptol. ePrint Arch., 2020)

How to Explain Security Protocols to Your Children. - Véronique Cortier; Itsaka Rakotonirina (Protocols, Strands, and Logic, 2021)

Efficient verification of observational equivalences of cryptographic processes : theory and practice. (Vérification efficace d'équivalences observationnelles de processus cryptographiques : théorie et pratique). - Itsaka Rakotonirina (2021)

Symbolic Synthesis of Indifferentiability Attacks. - Itsaka Rakotonirina; Miguel Ambrona; Alejandro Aguirre 001; Gilles Barthe (AsiaCCS, 2022)

Tidy: Symbolic Verification of Timed Cryptographic Protocols. - Gilles Barthe; Ugo Dal Lago; Giulio Malavolta; Itsaka Rakotonirina (CCS, 2022)

Indistinguishability Beyond Diff-Equivalence in ProVerif. - Vincent Cheval; Itsaka Rakotonirina (CSF, 2023)

DeepSec: Deciding Equivalence Properties for Security Protocols - Improved theory and practice. - Vincent Cheval; Steve Kremer; Itsaka Rakotonirina (TheoretiCS, 2024)

Decision and Complexity of Dolev-Yao Hyperproperties. - Itsaka Rakotonirina; Gilles Barthe; Clara Schneidewind (Proc. ACM Program. Lang., 2024)