240 citations · 1.4k across the 52 of their papers we have counts for
8 papers · 1 filter
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…
"False negative -- that one is going to kill you": Understanding Industry Perspectives of Static Analysis based Security Testing
Amit Seal Ami, Kevin Moran, Denys Poshyvanyk +1
The demand for automated security analysis techniques, such as static analysis based security testing (SAST) tools continues to increase. To develop SASTs that are effectively leve…
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…
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…