Deian Stefan

5 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)

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)

FaCT: a DSL for timing-sensitive computation

Sunjay Cauligi and others (2019) · ACM

FaCT: A Flexible, Constant-Time Programming Language

Sunjay Cauligi and others (2017) · 2017 IEEE Cybersecurity Development (SecDev) · IEEE