Pushkar Bettadpur

Using Inputs and Context to Verify User Intentions in Internet Services

David Lie, Ivan Pustogarov, Wei Huang, 2019, APSys '19.

SoK: Hardware Security Support for Trustworthy Execution pdf

David Lie, Wei Huang, Lianying Zhao, 2019, ArXiv.

A Survey of Hardware Improvements to Secure Program Execution

Pushkar Bettadpur, Rongzhen Cui, Shuang He, 2024, ACM Computing Surveys.