Chiara Bodei, Linda Brodo, Riccardo Focardi. Static Evidences for Attack Reconstruction. In Chiara Bodei, Gian Luigi Ferrari, Corrado Priami, editors, Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Volume 9465 of Lecture Notes in Computer Science, pages 162-182, Springer, 2015. [doi]
Abstract is missing.