Sushant Dinesh
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.
ConjunCT: Learning Inductive Invariants to Prove Unbounded Instruction Safety Against Microarchitectural Timing Attacks
Sushant Dinesh and others (2024) · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · IEEE Computer Society
SynthCT: Towards Portable Constant-Time Code
Sushant Dinesh and others (2022) · Internet Society