News
Interesting new related blog post
Written on 11.03.2024 11:01 by Cas Cremers
This article might also interest you: https://security.apple.com/blog/imessage-pq3/ on Apple's new iMessage version. Note the use of verification, both with a manual computational analysis as well as an analysis using the Tamarin prover (which I co-developed). More on such techniques in upcoming lectures!