Sushant Dinesh

According to our database, Sushant Dinesh authored at least 4 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

ConjunCT: Learning Inductive Invariants to Prove Unbounded Instruction Safety Against Microarchitectural Timing Attacks.

Sushant Dinesh, Madhusudan Parthasarathy, Christopher W. Fletcher

Proceedings of the IEEE Symposium on Security and Privacy, 2024

2022

SynthCT: Towards Portable Constant-Time Code.

Sushant Dinesh, Grant Garrett-Grossman, Christopher W. Fletcher

Proceedings of the 29th Annual Network and Distributed System Security Symposium, 2022

2020

RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and Sanitization.

Sushant Dinesh, Nathan Burow, Dongyan Xu, Mathias Payer

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Scalable validation of binary lifters.

Sandeep Dasgupta, Sushant Dinesh, Deepan Venkatesh, Vikram S. Adve, Christopher W. Fletcher

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020