2 citations · 2 across the 2 of their papers we have counts for
6 papers
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…
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…
Helion: Enabling a Natural Perspective of Home Automation
Sunil Manandhar, Kevin Moran, Kaushal Kafle +3
Security researchers have recently discovered significant security and safety issues related to home automation and developed approaches to address them. Such approaches often face…
A Study of Data Store-based Home Automation
Kaushal Kafle, Kevin Moran, Sunil Manandhar +2
Home automation platforms provide a new level of convenience by enabling consumers to automate various aspects of physical objects in their homes. While the convenience is benefici…
Discovering Flaws in Security-Focused Static Analysis Tools for Android using Systematic Mutation
Richard Bonett, Kaushal Kafle, Kevin Moran +2
Mobile application security has been one of the major areas of security research in the last decade. Numerous application analysis tools have been proposed in response to malicious…