Klaus v. Gleissenthall

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

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

Zilong Wang and others (2023) · ACM SIGSAC Conference on Computer and Communications Security (CCS)

Solver-Aided Constant-Time Hardware Verification

Klaus v. Gleissenthall and others (2021) · ACM SIGSAC Conference on Computer and Communications Security (CCS)

Constant-time foundations for the new spectre era

Sunjay Cauligi and others (2020) · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)