Formal verification of a constant-time preserving C compiler | Publicación