At the end of this page, you can find the full list of publications.
A. S. Ami, K. Moran, D. Poshyvanyk, A. Nadkarni
A. S. Ami, S. Marsden, K. Moran, D. Poshyvanyk, A. Nadkarni
False negative - that one is going to kill you: Understanding Industry Perspectives of Static Analysis based Security Testing
A. S. Ami, K. Moran, D. Poshyvanyk, A. Nadkarni
IEEE S&P (2024) — Distinguished Paper Award
Why Crypto-detectors Fail: A Systematic Evaluation of Cryptographic Misuse Detection Techniques
A. S. Ami, N. Cooper, K. Kafle, K. Moran, D. Poshyvanyk, A. Nadkarni
IEEE S&P (2022)
Mutation-Based Evaluation of Cryptographic API Misuse Detectors
A. S. Ami, S. Marsden, K. Moran, D. Poshyvanyk, A. Nadkarni
ACM TOPS (2026)
Systematic Mutation-based Evaluation of the Soundness of Security-focused Android Static Analysis Techniques
A. S. Ami, K. Kafle, K. Moran, A. Nadkarni, D. Poshyvanyk
ACM TOPS (2021)
MASC: A Tool for Mutation-Based Evaluation of Static Crypto-API Misuse Detectors
A. S. Ami, et al.
ESEC/FSE’23, Demonstration Track
Demo: Mutation-based Evaluation of Security-focused Static Analysis Tools for Android
A. S. Ami, K. Kafle, K. Moran, A. Nadkarni, D. Poshyvanyk
ICSE’21, Formal Tool Demonstration
An Efficient Approach for Providing Rationale of Method Change for Object Oriented Programming
A. S. Ami, M. S. Islam
ICIEV (2014)
A Content Assist Based Approach for Providing Rationale of Method Change for Object Oriented Programming
A. S. Ami, S. Islam
International Journal of Information Engineering and Electronic Business (2015)
MobiCoMonkey - Context Testing of Android Apps
A. S. Ami, M. M. Hasan, M. R. Rahman, K. Sakib
IEEE/ACM MOBILESoft (2018)
