Security Types Preserving Compilation: (Extended Abstract) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gilles Barthe, Amitabh Basu, Tamara Rezk. Security Types Preserving Compilation: (Extended Abstract). In Bernhard Steffen, Giorgio Levi, editors, Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings. Volume 2937 of Lecture Notes in Computer Science, pages 2-15, Springer, 2004. [doi]

This author has not been identified. Look up 'Gilles Barthe' in GoogleThis author has not been identified. Look up 'Amitabh Basu' in GoogleThis author has not been identified. Look up 'Tamara Rezk' in Google

runs on WebDSL