Automating Penetration Testing with MeTeOr. - Michele Cerreta; Gabriele Costa 001 (EuroS&P Workshops, 2024)

Supporting Criminal Investigations on the Blockchain: A Temporal Logic-based Approach. - Marco Blanchini; Michele Cerreta; Davide Di Monda; Matteo Fabbri; Mario Raciti; Hamza Sajjad Ahmad; Gabriele Costa 001 (ITASEC, 2024)