15 citations · 32 across the 14 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.PL2020
HACCLE: Metaprogramming for Secure Multi-Party Computation -- Extended Version
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik +17
Cryptographic techniques have the potential to enable distrusting parties to collaborate in fundamentally new ways, but their practical implementation poses numerous challenges. An…
cs.PL2020
RHLE: Modular Deductive Verification of Relational Properties
Robert Dickerson, Qianchuan Ye, Michael K. Zhang +1
Hoare-style program logics are a popular and effective technique for software verification. Relational program logics are an instance of this approach that enables reasoning about…