Paolo Modesti. AnBx: Automatic Generation and Verification of Security Protocols Implementations. In Joaquín García-Alfaro, Evangelos Kranakis, Guillaume Bonfante, editors, Foundations and Practice of Security - 8th International Symposium, FPS 2015, Clermont-Ferrand, France, October 26-28, 2015, Revised Selected Papers. Volume 9482 of Lecture Notes in Computer Science, pages 156-173, Springer, 2015. [doi]
Abstract is missing.