Poster: Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols.

Luca Arnaboldi, Roberto Metere

Browse the full CCS paper archive.