Formal verification of a constant-time preserving C compiler

v1

Type:Conference Paper

0 views

[![NobleID](https://www.nobleid.org/api/badge/FE2CF871.svg?ark=w1%2F20260521%2FFE2CF871&value=id)](https://nobleid.org/work/w1/20260521/FE2CF871)

ARK Inflections

Bibliometric Analysis

Impact metrics, research fronts, co-authorship networks →

Authors & Claims

Paper Authors

Gilles Barthe

Sandrine Blazy

Benjamin Grégoire

Rémi Hutin

Vincent Laporte

David Pichardie

Alix Trieu