Itsaka Rakotonirina

The hitchhiker's guide to decidability and complexity of equivalence properties in security protocols (technical report)

Vincent Cheval, Steve Kremer, Itsaka Rakotonirina, 2020 .

The DEEPSEC Prover

Vincent Cheval, Steve Kremer, Itsaka Rakotonirina, 2018, CAV.

The Hitchhiker's Guide to Decidability and Complexity of Equivalence Properties in Security Protocols

Vincent Cheval, Steve Kremer, Itsaka Rakotonirina, 2020, Logic, Language, and Security.

A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer

Yi Zhou, Cédric Fournet, Bryan Parno, 2020, 2021 IEEE Symposium on Security and Privacy (SP).

DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice

Vincent Cheval, Steve Kremer, Itsaka Rakotonirina, 2018, 2018 IEEE Symposium on Security and Privacy (SP).

Exploiting Symmetries When Proving Equivalence Properties for Security Protocols

Vincent Cheval, Steve Kremer, Itsaka Rakotonirina, 2019, CCS.

On Aggregation of Information in Timing Attacks

Boris Köpf, Itsaka Rakotonirina, Boris Köpf, 2019, 2019 IEEE European Symposium on Security and Privacy (EuroS&P).