A Formal Security Analysis of the Signal Messaging Protocol (2023)
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.60882/cispa.24612513
Publication URI: https://publications.cispa.de/articles/journal_contribution/A_Formal_Security_Analysis_of_the_Signal_Messaging_Protocol/24612513
Type: Other