Integrating Verification, Testing, and Learning for Cryptographic Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse. Integrating Verification, Testing, and Learning for Cryptographic Protocols. In Jim Davies, Jeremy Gibbons, editors, Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings. Volume 4591 of Lecture Notes in Computer Science, pages 538-557, Springer, 2007. [doi]

This author has not been identified. Look up 'Martijn Oostdijk' in GoogleIdentified as Vlad Rusu This author has not been identified. Look up 'Jan Tretmans' in GoogleThis author has not been identified. Look up 'René G. de Vries' in GoogleThis author has not been identified. Look up 'Tim A. C. Willemse' in Google

runs on WebDSL