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

Luca Arnaboldi, Roberto Metere

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Poster: Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols'. Together they form a unique fingerprint.

Engineering & Materials Science