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

Practical Experience Report: Exploiting Memory Corruption Vulnerabilities in Connman for IoT Devices

Conference paper
Kelly V. English, Islam Obaidat, and Meera Sridhar
In Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
Publication year: 2019

A Survey of In-lined Reference Monitors: Applications and Challenges

Conference paper
Fadi Yilmaz and Meera Sridhar
In Proceedings of the 16th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA)
Publication year: 2019