We are happy to announce our keynote speakers for CSF'23!
Plausible deniability seems like the ultimate get-out-of-jail-free card. But how can we make it work when it comes to digital information sent in a public network. Deniable encryption, defined by Canetti et al (Crypto 1997), suggests a method to achieve deniability by the sender of encrypted messages to overcome this problem. The idea is especially interesting in the context of electronic elections to eliminate the threat of vote buying after a vote has been cast.
I will present two new works on the subject.
Traditional blockchains use consensus to sequence and execute transactions. More recent blockchain proposals use broadcast, a weaker, more scalable and lower latency primitive. However, the latter is limited in terms of expressiveness, and system maintenance operations require or at least are simpler given the stronger guarantees provided by consensus. In this talk I will present both paradigms, and describe how we combine them in a single system to get both low-latency for important categories of transactions, as well as the full expressiveness of consensus in general. Safety and liveness become tricky, since the two paradigms have to be combined in a consistent way, and further the broadcast based paths need to provide robust guarantees upon reconfiguration, which relies on consensus. The schemes presented for the first time form the basis of a production system, and I will discuss challenges of defining protocols for production.