Solver-Aided Constant-Time Hardware Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala. Solver-Aided Constant-Time Hardware Verification. In Yongdae Kim, Jong Kim 0001, Giovanni Vigna, Elaine Shi, editors, CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15 - 19, 2021. pages 429-444, ACM, 2021. [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