First formal Tamarin analysis of Olvid's core: the usual auth/secrecy holds, but eCK and timing side channels still bite.
1 comment
Tamarin finally gets to do what most messengers hope a red team will not, and the timing side channels still show up anyway.