Follow
Sushant Dinesh
Title
Cited by
Cited by
Year
Retrowrite: Statically instrumenting cots binaries for fuzzing and sanitization
S Dinesh, N Burow, D Xu, M Payer
2020 IEEE Symposium on Security and Privacy (SP), 1497-1511, 2020
1652020
Scalable validation of binary lifters
S Dasgupta, S Dinesh, D Venkatesh, VS Adve, CW Fletcher
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
282020
Synthct: Towards portable constant-time code
S Dinesh, G Garrett-Grossman, CW Fletcher
NDSS, 2022
102022
Retrowrite: Statically instrumenting cots binaries for fuzzing and sanitization
S Dinesh
Purdue University, 2019
72019
CONJUNCT: Learning Inductive Invariants to Prove Unbounded Instruction Safety Against Microarchitectural Timing Attacks
S Dinesh, M Parthasarathy, C Fletcher
2024 IEEE Symposium on Security and Privacy (SP), 177-177, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–5