Mariapia Raimondo, Simona Bernardi 0001, Stefano Marrone 0001. On Formalising and Analysing the Tweetchain Protocol. In Paolo Mori, Gabriele Lenzini, Steven Furnell, editors, Proceedings of the 7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Online Streaming, February 11-13, 2021. pages 781-791, SCITEPRESS, 2021. [doi]
@inproceedings{Raimondo0021,
title = {On Formalising and Analysing the Tweetchain Protocol},
author = {Mariapia Raimondo and Simona Bernardi 0001 and Stefano Marrone 0001},
year = {2021},
doi = {10.5220/0010427907810791},
url = {https://doi.org/10.5220/0010427907810791},
researchr = {https://researchr.org/publication/Raimondo0021},
cites = {0},
citedby = {0},
pages = {781-791},
booktitle = {Proceedings of the 7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Online Streaming, February 11-13, 2021},
editor = {Paolo Mori and Gabriele Lenzini and Steven Furnell},
publisher = {SCITEPRESS},
isbn = {978-989-758-491-6},
}