Itsaka Rakotonirina

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 14

Top Topics

Security Protocols

Artificial Immune Algorithm

Automated Design

Symbolic Description

Top Venues

IEEE Symposium on Security and Privacy

Proc. ACM Program. Lang.

Publications

Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
DeepSec: Deciding Equivalence Properties for Security Protocols - Improved theory and practice. TheoretiCS 3 (2024)
Itsaka Rakotonirina, Gilles Barthe, Clara Schneidewind
Decision and Complexity of Dolev-Yao Hyperproperties. Proc. ACM Program. Lang. 8 (POPL) (2024)
Vincent Cheval, Itsaka Rakotonirina
Indistinguishability Beyond Diff-Equivalence in ProVerif. CSF (2023)
Itsaka Rakotonirina, Miguel Ambrona, Alejandro Aguirre, Gilles Barthe
Symbolic Synthesis of Indifferentiability Attacks. AsiaCCS (2022)
Gilles Barthe, Ugo Dal Lago, Giulio Malavolta, Itsaka Rakotonirina
Tidy: Symbolic Verification of Timed Cryptographic Protocols. CCS (2022)
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
DeepSec: Deciding Equivalence Properties for Security Protocols - Improved theory and practice. CoRR (2022)
Véronique Cortier, Itsaka Rakotonirina
How to Explain Security Protocols to Your Children. Protocols, Strands, and Logic (2021)
Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer. IEEE Symposium on Security and Privacy (2021)
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
The Hitchhiker's Guide to Decidability and Complexity of Equivalence Properties in Security Protocols. Logic, Language, and Security (2020)
Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer. IACR Cryptol. ePrint Arch. 2020 (2020)
Itsaka Rakotonirina, Boris Köpf
On Aggregation of Information in Timing Attacks. EuroS&P (2019)
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
Exploiting Symmetries When Proving Equivalence Properties for Security Protocols. CCS (2019)
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice. IEEE Symposium on Security and Privacy (2018)
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
The DEEPSEC Prover. CAV (2) (2018)