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]
Abstract is missing.