research
∙
05/10/2023
Optimal Eventual Byzantine Agreement Protocols with Omission Failures
Work on optimal protocols for Eventual Byzantine Agreement (EBA) – proto...
research
∙
02/23/2020
Signature in Counterparts, a Formal Treatment
"Signature in counterparts" is a legal process that permits a contract b...
research
∙
11/14/2018
On the specification and verification of atomic swap smart contracts
Blockchain systems and smart contracts provide ways to securely implemen...
research
∙
07/27/2017
An Epistemic Foundation for Authentication Logics (Extended Abstract)
While there have been many attempts, going back to BAN logic, to base re...
research
∙
08/20/2002