Frédéric Jacobs on Nostr: The Formal Analysis of Apple's iMessage PQ3 Protocol was accepted at the USENIX ...The Formal Analysis of Apple's iMessage PQ3 Protocol was accepted at the USENIX Security Symposiumhttps://www.usenix.org/conference/usenixsecurity25/presentation/linker