DeTi: A Decentralized Ticketing Management Platform. - Sina Rafati Niya; Simon Bachmann; Claudio Brasser; Michael Bucher; Nicolas Spielmann; Burkhard Stiller (J. Netw. Syst. Manag., 2022)