Publication Types:

Inscription: Thwarting ActionScript Web Attacks from Within

Conference paper
Meera Sridhar, Abhinav Mohanty, Fadi Yilmaz, Vasant Tendulkar, and Kevin W. Hamlen
In Proceedings of the 17th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), July 2018.
Publication year: 2018

Aspect-oriented Runtime Monitor Certification

Conference paper
Kevin W. Hamlen, Micah M. Jones, and Meera Sridhar
In Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp. 126—140, March-April 2012
Publication year: 2012

ActionScript In-lined Reference Monitoring in Prolog

Conference paper
Meera Sridhar and Kevin W. Hamlen
In Proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages (PADL), pp. 149—151, January 2010.
Publication year: 2010

Model-Checking In-Lined Reference Monitors

Conference paper
Meera Sridhar and Kevin W. Hamlen
In Proceedings of the 11th International Conference on Verification, Model Checking, & Abstract Interpretation (VMCAI), pp. 312—327, January 2010.
Publication year: 2010