8 citations · 15 across the 13 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.CR2019★ 2 cited
OpenVoting: Recoverability from Failures in Dual Voting
Prashant Agrawal, Kabir Tomer, Abhinav Nakarmi +3
In this paper we address the problem of recovery from failures without re-running entire elections when elections fail to verify. We consider the setting of \emph{dual voting} prot…
cs.PL2019★ 1 cited
Dynamic Verification with Observational Equivalence of C/C++ Concurrency
Sanjana Singh, Divyanjali Sharma, Subodh Sharma
Program executions under relaxed memory model (rmm) semantics are significantly more difficult to analyze; the rmm semantics result in out of order execution of program events lead…