01▲Formal Security Analysis of the Olvid Messenger eprint.iacr.org First formal Tamarin analysis of Olvid's core: the usual auth/secrecy holds, but eCK and timing side channels still bite.authenticated-key-exchangeeprintformal-analysisforward-secrecysecure-messagingtamarintiming-attacks0 pts/deadlock23/11 days ago/1 comment