Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Affiliation:
3
0
4
It is shown that plain CT relies on an honest log, but provides accountability under this assumption, and it is shown that the SCT Auditing extension can eliminate this assumption, while the Gossiping extension cannot.
This work derives the first model of WhatsApp Web's implementation of the Signal protocol and the most detailed model to date of Signal's original protocol, and reveals previously undocumented differences between the original libsignal library and WhatsApp's fork.
ProVerif outpaces Tamarin in verification speed by over 92%, while ensuring soundness in the majority of comparative tasks.