Barthe, Gilles; Betarte, Gustavo; Campo, Juan Diego; Luna, Carlos; Pichardie, David System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory. (English) Zbl 1459.68027 J. Autom. Reasoning 64, No. 8, 1685-1729 (2020). MSC: 68M25 68V15 94A60 PDFBibTeX XMLCite \textit{G. Barthe} et al., J. Autom. Reasoning 64, No. 8, 1685--1729 (2020; Zbl 1459.68027) Full Text: DOI
Baillot, Patrick; Barthe, Gilles; Dal Lago, Ugo Implicit computational complexity of subrecursive definitions and applications to cryptographic proofs. (English) Zbl 1468.68057 J. Autom. Reasoning 63, No. 4, 813-855 (2019). MSC: 68N18 03F52 68Q25 94A60 PDFBibTeX XMLCite \textit{P. Baillot} et al., J. Autom. Reasoning 63, No. 4, 813--855 (2019; Zbl 1468.68057) Full Text: DOI HAL