Marco Blanchini, Michele Cerreta, Davide Di Monda, Matteo Fabbri, Mario Raciti, Hamza Sajjad Ahmad, Gabriele Costa 0001. Supporting Criminal Investigations on the Blockchain: A Temporal Logic-based Approach. In Gianni D'Angelo, Flaminia L. Luccio, Francesco Palmieri 0002, editors, Proceedings of the 8th Italian Conference on Cyber Security (ITASEC 2024), Salerno, Italy, April 8-12, 2024. Volume 3731 of CEUR Workshop Proceedings, CEUR-WS.org, 2024. [doi]
Abstract is missing.