System-Level Non-interference of Constant-Time Cryptography. Part II: Verified Static Analysis and Stealth Memory - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna 0001, David Pichardie. System-Level Non-interference of Constant-Time Cryptography. Part II: Verified Static Analysis and Stealth Memory. Journal of Automated Reasoning, 64(8):1685-1729, 2020. [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 0001' in GoogleThis author has not been identified. Look up 'David Pichardie' in Google

runs on WebDSL