ActionScript Bytecode Verification with Co-logic (2009)

by B W DeVries, G Gupta, K W Hamlen, S Moore, M Sridhar
Venue:Programming, in: Proc. 4th ACM SIGPLAN Workshop Programming Languages and Analysis for Security (PLAS), 9–15