Luca Arnaboldi, Roberto Metere. Poster: Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols. In Lorenzo Cavallaro, Johannes Kinder, Xiaofeng Wang 0001, Jonathan Katz, editors, Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019. pages 2585-2587, ACM, 2019. [doi]
@inproceedings{ArnaboldiM19,
title = {Poster: Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols},
author = {Luca Arnaboldi and Roberto Metere},
year = {2019},
doi = {10.1145/3319535.3363262},
url = {https://doi.org/10.1145/3319535.3363262},
researchr = {https://researchr.org/publication/ArnaboldiM19},
cites = {0},
citedby = {0},
pages = {2585-2587},
booktitle = {Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019},
editor = {Lorenzo Cavallaro and Johannes Kinder and Xiaofeng Wang 0001 and Jonathan Katz},
publisher = {ACM},
isbn = {978-1-4503-6747-9},
}