Kevin Butler

Secure outsourced garbled circuit evaluation for mobile devices

2015 · Journal of Computer Security

Garbled circuits provide a powerful tool for jointly evaluating functions while preserving the privacy of each user’s inputs. While recent research has made the use of this primitive more practical, such solutions generally assume that …

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 …

Prioritizing Computing Research to Empower and Protect Vulnerable Populations

2025 · arXiv (Cornell University)

Technology can pose signicant risks to a wide array of vulnerable populations. However, by addressing the challenges and opportunities in technology design, research, and deployment, we can create systems that benet everyone, fostering a society …