Inria-Prosecco/proscript-messaging

Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic and Computational Approach.

4 best points · 0 comments · 2 Hacker News posts · 39 GitHub stars · View on GitHub

Hacker News discussions

• Multiple Timing Side-Channel Attacks in Cryptocat (4 points, 0 comments, by DecryptoCat, 2018-11-01)
• Multiple Timing Side-Channel Attacks in Cryptocat (1 points, 0 comments, by LornerHumbry, 2018-11-02)