Prateek Saxena
TitoloCitata daAnno
BitBlaze: A new approach to computer security via binary analysis
D Song, D Brumley, H Yin, J Caballero, I Jager, MG Kang, Z Liang, ...
International Conference on Information Systems Security, 1-25, 2008
On scaling decentralized blockchains
K Croman, C Decker, I Eyal, AE Gencer, A Juels, A Kosba, A Miller, ...
International Conference on Financial Cryptography and Data Security, 106-125, 2016
Making smart contracts smarter
L Luu, DH Chu, H Olickel, P Saxena, A Hobor
Proceedings of the 2016 ACM SIGSAC conference on computer and communications …, 2016
A symbolic execution framework for javascript
P Saxena, D Akhawe, S Hanna, F Mao, S McCamant, D Song
2010 IEEE Symposium on Security and Privacy, 513-528, 2010
A secure sharding protocol for open blockchains
L Luu, V Narayanan, C Zheng, K Baweja, S Gilbert, P Saxena
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016
Document Structure Integrity: A Robust Basis for Cross-site Scripting Defense.
Y Nadji, P Saxena, D Song
NDSS 20, 2009
On the limits of information flow techniques for malware analysis and containment
L Cavallaro, P Saxena, R Sekar
International conference on Detection of Intrusions and Malware, and …, 2008
Protecting browsers from extension vulnerabilities
A Barth, AP Felt, P Saxena, A Boodman
Loop-extended symbolic execution on binary programs
P Saxena, P Poosankam, S McCamant, D Song
Proceedings of the eighteenth international symposium on Software testing …, 2009
Fast and precise sanitizer analysis with BEK
P Hooimeijer, B Livhsits, D Molnar, P Saxena, M Veanes
Proceedings of the Usenix Security Symposium, 2011
A systematic analysis of XSS sanitization in web application frameworks
J Weinberger, P Saxena, D Akhawe, M Finifter, R Shin, D Song
European Symposium on Research in Computer Security, 150-171, 2011
Data-oriented programming: On the expressiveness of non-control data attacks
H Hu, S Shinde, S Adrian, ZL Chua, P Saxena, Z Liang
2016 IEEE Symposium on Security and Privacy (SP), 969-986, 2016
SCRIPTGARD: automatic context-sensitive sanitization for large-scale legacy web applications
P Saxena, D Molnar, B Livshits
Proceedings of the 18th ACM conference on Computer and communications …, 2011
FLAX: Systematic Discovery of Client-side Validation Vulnerabilities in Rich Web Applications.
P Saxena, S Hanna, P Poosankam, D Song
NDss, 2010
Demystifying incentives in the consensus computer
L Luu, J Teutsch, R Kulkarni, P Saxena
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications …, 2015
Preventing page faults from telling your secrets
S Shinde, ZL Chua, V Narayanan, P Saxena
Proceedings of the 11th ACM on Asia Conference on Computer and …, 2016
Finding the greedy, prodigal, and suicidal contracts at scale
I Nikolić, A Kolluri, I Sergey, P Saxena, A Hobor
Proceedings of the 34th Annual Computer Security Applications Conference …, 2018
AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations.
G Bai, J Lei, G Meng, SS Venkatraman, P Saxena, J Sun, Y Liu, JS Dong
Network and Distributed System Security Symposium (NDSS), 2013
PANOPLY: Low-TCB Linux Applications with SGX Enclaves
S Shinde, D Le Tien, S Tople, P Saxena
Network and Distributed Systems Security (NDSS), 2017
Efficient fine-grained binary instrumentationwith applications to taint-tracking
P Saxena, R Sekar, V Puranik
Proceedings of the 6th annual IEEE/ACM international symposium on Code …, 2008
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20