PhD Candidate
Brown University
Areas of Interest
- Security
- Theory
- Algorithmic Game Theory
Poster
Adversarial Level Agreements for Cryptographic Protocols
Abstract
Adversaries in cryptography have traditionally been modeled as either semi-honest or malicious. Over the years, however, several lines of work have investigated the design of cryptographic protocols against rational adversaries. The most well-known example are covert adversaries in secure computation (Aumann & Lindell, TCC '07) which are adversaries that wish to deviate from a protocol but without being detected. To protect against such adversaries, protocols secure in the covert model guarantee that deviations are detected with probability at least $\varepsilon$ which is known as the deterrence factor.
In this work, we initiate the study of contracts in cryptographic protocol design. We show how to design, use and analyze contracts between parties for the purpose of incentivizing honest behavior from rational adversaries. We refer to such contracts as adversarial level agreements (ALA). The framework we propose can result in more efficient protocols and can enforce deterrence in covert protocols; meaning that one can guarantee that a given deterrence factor will deter the adversary instead of assuming it.
We show how to apply our framework to two-party protocols, including secure two-party computation (2PC) and proofs of storage (PoS). In the 2PC case, we integrate ALAs to publicly-verifiable covert protocols and show, through a game-theoretic analysis, how to set the parameters of the ALA to guarantee honest behavior. We do the same in the setting of PoS which are two-party protocols that allow a client to efficiently verify the integrity of a file stored in the cloud.
Bio
Marilyn is a fourth-year PhD student in the Department of Computer Science at Brown University where she is advised by Prof. Seny Kamara. Her research interests are broadly in the areas of Applied Cryptography and Algorithmic Game Theory. Before starting her PhD, she was a Research Fellow at Microsoft Research India working on secure analytics over encrypted data. She received her M. E. in Computer Science and Engineering from the Indian Institute of Science, Bangalore. Outside research, Marilyn coordinates the CS mentorship program at Brown, and enjoys reading and PC games.
