Aarhus University Seal / Aarhus Universitets segl

Alix Trieu

  1. 2020
  2. Published

    Formal Verification of a Constant-Time Preserving C Compiler. / Barthe, Gilles; Blazy, Sandrine; Grégoire, Benjamin; Hutin, Rémi; Laporte, Vincent; Pichardie, David; Trieu, Alix.

    In: Proceedings of the ACM on Programming Languages, Vol. 4, No. POPL, 7, 2020.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review