2 papers
cs.CR2018
High-level Cryptographic Abstractions
Christopher Kane, Bo Lin, Saksham Chand +2
The interfaces exposed by commonly used cryptographic libraries are clumsy, complicated, and assume an understanding of cryptographic algorithms. The challenge is to design high-le…
cs.DC2018
Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables
Saksham Chand, Yanhong A. Liu
This paper studies specifications and proofs of distributed algorithms when only message history variables are used, using the Basic Paxos and Multi-Paxos algorithms for distribute…