84 citations · 111 across the 10 of their papers we have counts for
13 papers
Capstone: A Capability-based Foundation for Trustless Secure Memory Access (Extended Version)
Jason Zhijingcheng Yu, Conrad Watt, Aditya Badole +2
Capability-based memory isolation is a promising new architectural primitive. Software can access low-level memory only via capability handles rather than raw pointers, which provi…
EPIE Dataset: A Corpus For Possible Idiomatic Expressions
Prateek Saxena, Soma Paul
Idiomatic expressions have always been a bottleneck for language comprehension and natural language understanding, specifically for tasks like Machine Translation(MT). MT systems p…
Epione: Lightweight Contact Tracing with Strong Privacy
Ni Trieu, Kareem Shehata, Prateek Saxena +2
Contact tracing is an essential tool in containing infectious diseases such as COVID-19. Many countries and research groups have launched or announced mobile apps to facilitate con…
Scalable Quantitative Verification For Deep Neural Networks
Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel +1
Despite the functional success of deep neural networks (DNNs), their trustworthiness remains a crucial open challenge. To address this challenge, both testing and verification tech…
Quantitative Verification of Neural Networks And its Security Applications
Teodora Baluta, Shiqi Shen, Shweta Shinde +2
Neural networks are increasingly employed in safety-critical domains. This has prompted interest in verifying or certifying logically encoded properties of neural networks. Prior w…
Practical Verifiable In-network Filtering for DDoS defense
Deli Gong, Muoi Tran, Shweta Shinde +4
In light of ever-increasing scale and sophistication of modern DDoS attacks, it is time to revisit in-network filtering or the idea of empowering DDoS victims to install in-network…
OHIE: Blockchain Scaling Made Simple
Haifeng Yu, Ivica Nikolic, Ruomu Hou +1
Many blockchain consensus protocols have been proposed recently to scale the throughput of a blockchain with available bandwidth. However, these protocols are becoming increasingly…
Exploiting The Laws of Order in Smart Contracts
Aashish Kolluri, Ivica Nikolic, Ilya Sergey +2
We investigate a family of bugs in blockchain-based smart contracts, which we call event-ordering (or EO) bugs. These bugs are intimately related to the dynamic ordering of contrac…
Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution
Shiqi Shen, Soundarya Ramesh, Shweta Shinde +2
Symbolic execution is a powerful technique for program analysis. However, it has many limitations in practical applicability: the path explosion problem encumbers scalability, the…
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
Shweta Shinde, Shengyi Wang, Pinghai Yuan +3
New trusted computing primitives such as Intel SGX have shown the feasibility of running user-level applications in enclaves on a commodity trusted processor without trusting a lar…
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale
Ivica Nikolic, Aashish Kolluri, Ilya Sergey +2
Smart contracts---stateful executable objects hosted on blockchains like Ethereum---carry billions of dollars worth of coins and cannot be updated once deployed. We present a new s…
How to verify computation with a rational network
Sanjay Jain, Prateek Saxena, Frank Stephan +1
The present paper introduces a practical protocol for provably secure, outsourced computation. Our protocol minimizes overhead for verification by requiring solutions to withstand…
Preventing Your Faults From Telling Your Secrets: Defenses Against Pigeonhole Attacks
Shweta Shinde, Zheng Leong Chua, Viswesh Narayanan +1
New hardware primitives such as Intel SGX secure a user-level process in presence of an untrusted or compromised OS. Such "enclaved execution" systems are vulnerable to several sid…