Ranjit Jhala
6 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)
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
On Subnormal Floating Point and Abnormal Timing
Marc Andrysco and others (2015) · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · IEEE Computer Society
Microarchitecture Verification by Compositional Model Checking
Ranjit Jhala and others (2001) · Lecture notes in computer science · Springer Science+Business Media