Omar Almousa, Sebastian Mödersheim, Luca Viganò. Alice and Bob: Reconciling Formal Models and Implementation. 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 66-85, Springer, 2015. [doi]
Abstract is missing.