Seuraa
Sushant Dinesh
Nimike
Viittaukset
Viittaukset
Vuosi
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
2122020
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
412020
Synthct: Towards portable constant-time code
S Dinesh, G Garrett-Grossman, CW Fletcher
NDSS, 2022
142022
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, CW Fletcher
2024 IEEE Symposium on Security and Privacy (SP), 3735-3753, 2024
42024
H-Houdini: Scalable Invariant Learning
S Dinesh, Y Zhu, CW Fletcher
Proceedings of the 30th ACM International Conference on Architectural …, 2025
2025
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–6