Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna. System-Level Non-interference of Constant-Time Cryptography. Part I: Model. Journal of Automated Reasoning, 63(1):1-51, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.