Read news on formal analysis with our app.
Read more in the app
A Formal Analysis of Apple's iMessage PQ3 Protocol [pdf]