팔로우
Sushant Dinesh
제목
인용
인용
연도
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
1662020
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
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–5