15 citations · 41 across the 10 of their papers we have counts for
10 papers
A Systematic Evaluation of Traditional Privacy Policy Analysis Tools Against LLMs
Madhav Aryal, Sudipa Saha, Sunil Manandhar +2
The advent of LLMs has significantly changed the research on privacy policy and data compliance analysis by enabling tasks that previously required specialized, domain-specific too…
Helion: Enabling Natural Testing of Smart Homes
Prianka Mandal, Sunil Manandhar, Kaushal Kafle +3
Prior work has developed numerous systems that test the security and safety of smart homes. For these systems to be applicable in practice, it is necessary to test them with realis…
MASC: A Tool for Mutation-Based Evaluation of Static Crypto-API Misuse Detectors
Amit Seal Ami, Syed Yusuf Ahmed, Radowan Mahmud Redoy +5
While software engineers are optimistically adopting crypto-API misuse detectors (or crypto-detectors) in their software development cycles, this momentum must be accompanied by a…
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…
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…