Attachment Details
Not logged in
Overview

Artifact ID: e24d07a0ee0fd660d3f2328d2f7dacaa750970fe
Wiki Page: Attic 001 for Holding Various Files
Date: 2017-06-09 09:24:46
User: martin_vahi
Artifact Attached: ff5adce551a46390086c707eeabf53c0cc702b37
Filename:Automated_Verification_for_Secure_Messaging_Protocols_and_their_Implementations_A_Symbolic_and_Computational_Approach_by_Nadim_Kobeissi_and_Karthikeyan_Bhargavan_and_Bruno_Blanchet.pdf
Description:Downloaded on 2017_06_09 from https://github.com/Inria-Prosecco/proscript-messaging/raw/master/paper-longversion.pdf https://nadim.computer/
Content Appended
(file is 746600 bytes of binary data)