On Formalising and Analysing the Tweetchain Protocol

Proceedings of the 7th International Conference on Information Systems Security and Privacy ◽

10.5220/0010427907810791 ◽

2021 ◽

Author(s):

Mariapia Raimondo ◽

Simona Bernardi ◽

Stefano Marrone

Download Full-text