Itsaka Rakotonirina

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