A Formal Security Analysis of the Signal Messaging Protocol

No ratings

Presented at EuroSP 2017 by

N/A