Model-Checking In-Lined Reference Monitors. M Sridhar, KW Hamlen VMCAI, 312-327, 2010 | 41 | 2010 |
Between worlds: Securing mixed JavaScript/ActionScript multi-party web content PH Phung, M Monshizadeh, M Sridhar, KW Hamlen IEEE Transactions on Dependable and Secure Computing 12 (4), 443-457, 2014 | 29 | 2014 |
Hybridguard: A principal-based permission and fine-grained policy enforcement framework for web-based mobile applications PH Phung, A Mohanty, R Rachapalli, M Sridhar 2017 IEEE Security and Privacy Workshops (SPW), 147-156, 2017 | 22 | 2017 |
Flexible in-lined reference monitor certification: Challenges and future directions M Sridhar, KW Hamlen Proceedings of the 5th ACM workshop on Programming languages meets program …, 2011 | 22 | 2011 |
ActionScript in-lined reference monitoring in Prolog M Sridhar, KW Hamlen Practical Aspects of Declarative Languages: 12th International Symposium …, 2010 | 22 | 2010 |
Aspect-oriented runtime monitor certification KW Hamlen, MM Jones, M Sridhar Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012 | 20 | 2012 |
Exploiting memory corruption vulnerabilities in connman for iot devices KV English, I Obaidat, M Sridhar 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems …, 2019 | 18 | 2019 |
ActionScript bytecode verification with co-logic programming BW DeVries, G Gupta, KW Hamlen, S Moore, M Sridhar Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and …, 2009 | 17 | 2009 |
Control-hijacking vulnerabilities in IoT firmware: A brief survey A Mohanty, I Obaidat, F Yilmaz, M Sridhar The 1st International Workshop on Security and Privacy for the Internet-of …, 2018 | 14 | 2018 |
Jadeite: A novel image-behavior-based approach for java malware detection using deep learning I Obaidat, M Sridhar, KM Pham, PH Phung Computers & Security 113, 102547, 2022 | 13 | 2022 |
Hippocratic binary instrumentation: First do no harm M Sridhar, R Wartell, KW Hamlen Science of Computer Programming 93, 110-124, 2014 | 11 | 2014 |
Flash in the dark: Illuminating the landscape of ActionScript web security trends and threats M Sridhar, M Chirva, B Ferrell, KW Hamlen, D Karamchandani Journal of Information Systems Security (JISSec) 13 (2), 59-96, 2017 | 7 | 2017 |
A multi-party, fine-grained permission and policy enforcement framework for hybrid mobile applications PH Phung, RSV Reddy, S Cap, A Pierce, A Mohanty, M Sridhar Journal of Computer Security 28 (3), 375-404, 2020 | 5 | 2020 |
Inscription: Thwarting ActionScript web attacks from within M Sridhar, A Mohanty, F Yilmaz, V Tendulkar, KW Hamlen 2018 17th IEEE International Conference On Trust, Security And Privacy In …, 2018 | 5 | 2018 |
Criminal Investigations: An interactive experience to improve student engagement and achievement in cybersecurity courses JG Hall, A Mohanty, P Murarisetty, ND Nguyen, JC Bahamón, ... Proceedings of the 53rd ACM Technical Symposium on Computer Science …, 2022 | 4 | 2022 |
HybriDiagnostics: evaluating security issues in hybrid smarthome companion apps A Mohanty, M Sridhar 2021 IEEE Security and Privacy Workshops (SPW), 228-234, 2021 | 4 | 2021 |
Chekov: Aspect-oriented runtime monitor certification via model-checking (extended version) KW Hamlen, MM Jones, M Sridhar Tech. rep., Dept. of Comput. Science, U. Texas at Dallas (May 2011), 2011 | 4 | 2011 |
DISSAV: A dynamic, interactive stack-smashing attack visualization tool E Akeyson, H Ramaprasad, M Sridhar Journal of The Colloquium for Information Systems Security Education 9 (1), 8-8, 2022 | 3 | 2022 |
A fine-grained classification and security analysis of web-based virtual machine vulnerabilities F Yilmaz, M Sridhar, A Mohanty, V Tendulkar, KW Hamlen Computers & Security 105, 102246, 2021 | 3 | 2021 |
A survey of in-lined reference monitors: Policies, applications and challenges F Yilmaz, M Sridhar 2019 IEEE/ACS 16th International Conference on Computer Systems and …, 2019 | 3 | 2019 |