15 citations · 41 across the 10 of their papers we have counts for
4 papers · 1 filter
Towards Practical Integrity in the Smart Home with HomeEndorser
Kaushal Kafle, Kirti Jagtap, Mansoor Ahmed-Rengers +2
Home automation in modern smart home platforms is often facilitated using trigger-action routines. While such routines enable flexible automation, they also lead to an instance of…
Mutation-based Evaluation of Cryptographic API Misuse Detectors
Amit Seal Ami, Scott Marsden, Kevin Moran +2
The correct use of cryptography is central to ensuring data security in modern software systems. Hence, several academic and commercial static analysis tools have been developed fo…
SE: Mutation-based Evaluation of Security-focused Static Analysis Tools for Android
Amit Seal Ami, Kaushal Kafle, Kevin Moran +2
This demo paper presents the technical details and usage scenarios of SE: a mutation-based tool for evaluating security-focused static analysis tools for Android. Mutation testi…
Systematic Mutation-based Evaluation of the Soundness of Security-focused Android Static Analysis Techniques
Amit Seal Ami, Kaushal Kafle, Kevin Moran +2
Mobile application security has been a major area of focus for security research over the course of the last decade. Numerous application analysis tools have been proposed in respo…