Union and Intersection Types for Secure Protocol Implementations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Backes, Catalin Hritcu, Matteo Maffei. Union and Intersection Types for Secure Protocol Implementations. In Sebastian Mödersheim, Catuscia Palamidessi, editors, Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers. Volume 6993 of Lecture Notes in Computer Science, pages 1-28, Springer, 2011. [doi]

This author has not been identified. Look up 'Michael Backes' in GoogleThis author has not been identified. Look up 'Catalin Hritcu' in GoogleThis author has not been identified. Look up 'Matteo Maffei' in Google

runs on WebDSL