43 citations · 157 across the 25 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.CR2018★ 5 cited
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.PL2018★ 5 cited
Logic Programming Applications: What Are the Abstractions and Implementations?
Yanhong A. Liu
This article presents an overview of applications of logic programming, classifying them based on the abstractions and implementations of logic languages that support the applicati…
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…