Paulo Veríssimo. Security Made, Not Perfect, But Automatic. In Bruce Christianson, James A. Malcolm, editors, Security Protocols XVIII - 18th International Workshop, Cambridge, UK, March 24-26, 2010, Revised Selected Papers. Volume 7061 of Lecture Notes in Computer Science, pages 217-223, Springer, 2010. [doi]
Abstract is missing.