Publications

Conferences

    • S&P 21 : Antoine Delignat-Lavaud, Cedric 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 (paper)
    • ScedrovFest65 20 : Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
      The hitchhiker’s guide to decidability and complexity of equivalence properties in security protocols (paper, technical report)
    • CCS 19 : Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
      Exploiting symmetries when proving equivalence properties for security protocols (paper, technical report)
    • EuroS&P 19 : Itsaka Rakotonirina, Boris Köpf
      On aggregation of information in timing attacks (paper)
    • CAV 18 : Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
      The DEEPSEC prover (paper, website)
    • S&P 18 (distinguished paper award) : Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
      DEEPSEC: Deciding equivalence properties in security protocols, theory and practice (paper, technical report)