Adaptive Soundness of Static Equivalence - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Steve Kremer, Laurent Mazaré. Adaptive Soundness of Static Equivalence. In Joachim Biskup, Javier Lopez, editors, Computer Security - ESORICS 2007, 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24-26, 2007, Proceedings. Volume 4734 of Lecture Notes in Computer Science, pages 610-625, Springer, 2007. [doi]

This author has not been identified. Look up 'Steve Kremer' in GoogleThis author has not been identified. Look up 'Laurent Mazaré' in Google

runs on WebDSL