IODINE: Verifying Constant-Time Execution of Hardware - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala. IODINE: Verifying Constant-Time Execution of Hardware. In Nadia Heninger, Patrick Traynor, editors, 28th USENIX Security Symposium, USENIX Security 2019, Santa Clara, CA, USA, August 14-16, 2019. pages 1411-1428, USENIX Association, 2019. [doi]

This author has not been identified. Look up 'Klaus von Gleissenthall' in GoogleThis author has not been identified. Look up 'Rami Gökhan Kici' in GoogleThis author has not been identified. Look up 'Deian Stefan' in GoogleThis author has not been identified. Look up 'Ranjit Jhala' in Google

runs on WebDSL