TY  - RPRT
TI  - Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols
AU  - Luca Arnaboldi
AU  - Roberto Metere
PY  - 2019
UR  - https://arxiv.org/abs/1910.02656
ID  - 1910.02656
ER  -