rene_mobile’s avatarrene_mobile’s Twitter Archive—№ 2,617

  1. RT @Dinosn: Automated Verification for Secure Messaging Protocols and their Implementations github.com/Inria-Prosecco/proscript-messaging/blob/master/paper-longversion.pdf
    On twitter.com Twitter logo Retweet