A Formal Analysis of Apple’s iMessage PQ3 Protocol (via brokebit) — discussion

#ios #pdf #security