ActionScript bytecode verification with co-logic programming - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Brian W. DeVries, Gopal Gupta, Kevin W. Hamlen, Scott Moore, Meera Sridhar. ActionScript bytecode verification with co-logic programming. In Stephen Chong, David A. Naumann, editors, Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, PLAS 2009, Dublin, Ireland, 15-21 June, 2009. pages 9-15, ACM, 2009. [doi]

This author has not been identified. Look up 'Brian W. DeVries' in GoogleThis author has not been identified. Look up 'Gopal Gupta' in GoogleThis author has not been identified. Look up 'Kevin W. Hamlen' in GoogleThis author has not been identified. Look up 'Scott Moore' in GoogleThis author has not been identified. Look up 'Meera Sridhar' in Google

runs on WebDSL