Software and Information Systems
Research (Coming Soon)
Copyright text here
All types ( 14 )
Conference paper ( 4 )
Journal paper ( 3 )
Poster ( 3 )
Workshop paper ( 4 )
Control Hijacking Vulnerabilities in IoT Firmware: A Brief Survey
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
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
Meera Sridhar and Kevin W. Hamlen
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
Brian W. DeVries, Gopal Gupta, Kevin W. Hamlen, Scott Moore, and Meera Sridhar
Proceedings of the 4th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security
(PLAS), pp. 9—15, June 2009.
Publication year: 2009