Meera Sridhar
Assistant Professor
Director, CCI SmartHome Lab
Software and Information Systems
UNC Charlotte
Home
Research
Publications
Teaching
Download CV
CCI SmartHome Lab
Contact
ActionScript Bytecode Verification With Co-Logic Programming
Workshop paper
Brian W. DeVries, Gopal Gupta, Kevin W. Hamlen, Scott Moore, and Meera Sridhar
In
Proceedings of the 4th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security
(PLAS), pp. 9—15, June 2009.
Publication year: 2009
External Link