Lianying Zhao

One-Time Programs made Practical

2019 · arXiv (Cornell University)

A one-time program (OTP) works as follows: Alice provides Bob with the implementation of some function. Bob can have the function evaluated exclusively on a single input of his choosing. Once executed, the program will …

Using Inputs and Context to Verify User Intentions in Internet Services

2019

An open security problem is how a server can tell whether a request submitted by a client is legitimately intended by the user or fakes by malware that has infected the user's system. This paper …