Itsaka Rakotonirina
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2018–2022
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | AsiaCCS | Symbolic Synthesis of Indifferentiability Attacks. | Itsaka Rakotonirina, Miguel Ambrona, Alejandro Aguirre, Gilles Barthe |
| 2022 | CCS | Tidy: Symbolic Verification of Timed Cryptographic Protocols. | Gilles Barthe, Ugo Dal Lago, Giulio Malavolta, Itsaka Rakotonirina |
| 2021 | SP | A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer. | Antoine Delignat-Lavaud, Cdric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou |
| 2019 | CCS | Exploiting Symmetries When Proving Equivalence Properties for Security Protocols. | Vincent Cheval, Steve Kremer, Itsaka Rakotonirina |
| 2018 | CAV | The DEEPSEC Prover. | Vincent Cheval, Steve Kremer, Itsaka Rakotonirina |
| 2018 | SP | DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice. | Vincent Cheval, Steve Kremer, Itsaka Rakotonirina |