Παρακολούθηση
Sushant Dinesh
Sushant Dinesh
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα berkeley.edu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
2112020
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
32024
H-Houdini: Scalable Invariant Learning
S Dinesh, Y Zhu, CW Fletcher
2025
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–6