System-Level Non-interference of Constant-Time Cryptography. Part I: Model | Publicación