Publication Types:

Control Hijacking Vulnerabilities in IoT Firmware: A Brief Survey

Workshop paper
Abhinav Mohanty, Islam Obaidat, Fadi Yilmaz and Meera Sridhar
IEEE International Workshop on Security and Privacy for the Internet-of-Things(IoTSec), April 2018.
Publication year: 2018

HybridGuard: A Principal-based Permission and Fine-Grained Policy Enforcement Framework for Web-based Mobile Applications

Workshop paper
Phu H. Phung, Abhinav Mohanty, Rahul Rachapalli, and Meera Sridhar
IEEE Workshop on Mobile Security Technologies (MoST), May 2017.
Publication year: 2017

Flexible In-lined Reference Monitor Certification: Challenges and Future Directions

Workshop paper
Meera Sridhar and Kevin W. Hamlen
In Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV), pp. 55—60, January 2011.
Publication year: 2011

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