System-Level Non-interference of Constant-Time Cryptography. Part I: Model - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Gilles Barthe' in GoogleThis author has not been identified. Look up 'Gustavo Betarte' in GoogleThis author has not been identified. Look up 'Juan Diego Campo' in GoogleThis author has not been identified. Look up 'Carlos Luna' in Google

runs on WebDSL