Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke 0001, Marco Guarnieri. Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts. In Weizhi Meng 0001, Christian Damsgaard Jensen, Cas Cremers, Engin Kirda, editors, Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023. pages 2128-2142, ACM, 2023. [doi]

This author has not been identified. Look up 'Zilong Wang' in GoogleThis author has not been identified. Look up 'Gideon Mohr' in GoogleThis author has not been identified. Look up 'Klaus von Gleissenthall' in GoogleThis author has not been identified. Look up 'Jan Reineke 0001' in GoogleThis author has not been identified. Look up 'Marco Guarnieri' in Google

runs on WebDSL