Publications

Conferences

    • 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)