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
10082016
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
8882008
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
8612016
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
605*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
4952010
Document Structure Integrity: A Robust Basis for Cross-site Scripting Defense.
Y Nadji, P Saxena, D Song
NDSS 20, 2009
2432009
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
2362018
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
2342016
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
219*2008
Protecting browsers from extension vulnerabilities
A Barth, AP Felt, P Saxena, A Boodman
2022010
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
1982009
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
186*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
186*2011
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
183*2016
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
180*2011
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
1642015
PANOPLY: Low-TCB Linux Applications with SGX Enclaves
S Shinde, D Le Tien, S Tople, P Saxena
Network and Distributed Systems Security (NDSS), 2017
1592017
FLAX: Systematic Discovery of Client-side Validation Vulnerabilities in Rich Web Applications.
P Saxena, S Hanna, P Poosankam, D Song
NDss, 2010
1592010
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
1442015
On power splitting games in distributed computation: The case of bitcoin pooled mining
L Luu, R Saha, I Parameshwaran, P Saxena, A Hobor
2015 IEEE 28th Computer Security Foundations Symposium, 397-411, 2015
1212015
The system can't perform the operation now. Try again later.
Articles 1–20