We have 3 of 47 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
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.
A sound translation from Tamarin to ProVerif is presented that enables a rigorous comparison of the two tools and introduces techniques for formula rewriting, encoding multiset rewrite semantics, and handling simultaneous events, supporting a large subset of Tamarin's features, including multiset rewrite rules, lemmas,...
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
