P. Saxena

Publications
Influence

Loi Luu, Duc-Hiep Chu, Hrishi Olickel, P. Saxena, Aquinas Hobor
Computer Science
IACR Cryptol. ePrint Arch.
24 October 2016

We investigate the security of running smart contracts based on Ethereum in an open distributed network like those of cryptocurrencies. Expand

A Secure Sharding Protocol For Open Blockchains

Loi Luu, V. Narayanan, C. Zheng, Kunal Baweja, Seth Gilbert, P. Saxena
Computer Science
CCS
24 October 2016

We propose a new distributed agreement protocol for permission-less blockchains called ELASTICO, which scales almost linearly with available computation. Expand

BitBlaze: A New Approach to Computer Security via Binary Analysis

D. Song, D. Brumley, +7 authors P. Saxena
Computer Science
ICISS
16 December 2008

In this paper, we give an overview of the BitBlaze project, a new approach to computer security via binary analysis, offering novel and effective solutions, as demonstrated with over a dozen different security applications. Expand

A Symbolic Execution Framework for JavaScript

P. Saxena, Devdatta Akhawe, Steve Hanna, F. Mao, Stephen McCamant, D. Song
Computer Science
IEEE Symposium on Security and Privacy
16 May 2010

We propose the first complete symbolic-execution based system for exploring the execution space of JavaScript code using symbolic execution. Expand

Finding The Greedy, Prodigal, and Suicidal Contracts at Scale

I. Nikolic, Aashish Kolluri, Ilya Sergey, P. Saxena, Aquinas Hobor
Computer Science
ACSAC
16 February 2018

We present a new systematic characterization of a class of trace vulnerabilities, which result from analyzing multiple invocations of a contract over its lifetime. Expand

Data-Oriented Programming: On the Expressiveness of Non-control Data Attacks

Hong Hu, Shweta Shinde, Sendroiu Adrian, Zheng Leong Chua, P. Saxena, Zhenkai Liang
Computer Science
IEEE Symposium on Security and Privacy (SP)
22 May 2016

We present a systematic technique called data-oriented programming (DOP) to construct expressive non-control data exploits for arbitrary x86 programs and show that such attacks are Turing-complete. Expand

Panoply: Low-TCB Linux Applications With SGX Enclaves

Shweta Shinde, D. L. Tien, S. Tople, P. Saxena
Computer Science
NDSS
1 March 2017

We present a new system called PANOPLY which bridges the gap between the SGX-native abstractions and the standard OS abstractions which feature-rich, commodity Linux applications require. Expand

On Scaling Decentralized Blockchains - (A Position Paper)

Kyle Croman, C. Decker, +9 authors Roger Wattenhofer
Computer Science
Financial Cryptography Workshops
22 February 2016

We analyze how fundamental and circumstantial bottlenecks in Bitcoin limit the ability of its current peer-to-peer overlay network to support substantially higher throughputs and lower latencies. Expand

Preventing Page Faults from Telling Your Secrets

Shweta Shinde, Zheng Leong Chua, V. Narayanan, P. Saxena
Computer Science
AsiaCCS
30 May 2016

We show that the page fault side-channel has sufficient channel capacity to extract bits of encryption keys from commodity implementations of cryptographic routines in OpenSSL and Libgcrypt -- leaking 27% on average and up to 100% of the secret bits in many cases. Expand

Protecting Browsers from Extension Vulnerabilities

A. Barth, Adrienne Porter Felt, P. Saxena, A. Boodman
Computer Science
NDSS
2010

We analyze 25 popular Firefox extensions and find that 88% of these extensions need less than the full set of available privileges. Expand

Recommended Authors