Craig Disselkoen

2 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.

Automatically eliminating speculative leaks from cryptographic code with blade

Marco Vassena and others (2021) · Association for Computing Machinery (ACM)

Constant-time foundations for the new spectre era

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