Prateek Saxena
Title
Cited by
Cited by
Year
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
13542016
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
11122016
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
9652008
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
795*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
5272010
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
3292018
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
2972016
Document Structure Integrity: A Robust Basis for Cross-site Scripting Defense.
Y Nadji, P Saxena, D Song
NDSS 20, 2009
2562009
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
232*2008
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
227*2016
Protecting browsers from extension vulnerabilities
A Barth, AP Felt, P Saxena, A Boodman
2192010
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
2122009
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
2092015
PANOPLY: Low-TCB Linux Applications with SGX Enclaves
S Shinde, D Le Tien, S Tople, P Saxena
Network and Distributed Systems Security (NDSS), 2017
2052017
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
196*2011
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
195*2011
Fast and precise sanitizer analysis with BEK
P Hooimeijer, B Livhsits, D Molnar, P Saxena, M Veanes
Proceedings of the Usenix Security Symposium, 2011
192*2011
Automatic generation of data-oriented exploits
H Hu, ZL Chua, S Adrian, P Saxena, Z Liang
24th {USENIX} Security Symposium ({USENIX} Security 15), 177-192, 2015
1742015
FLAX: Systematic Discovery of Client-side Validation Vulnerabilities in Rich Web Applications.
P Saxena, S Hanna, P Poosankam, D Song
NDss, 2010
1702010
A traceability analysis of monero’s blockchain
A Kumar, C Fischer, S Tople, P Saxena
European Symposium on Research in Computer Security, 153-173, 2017
1532017
The system can't perform the operation now. Try again later.
Articles 1–20