activity
20182026
most citedSystematic Mutation-based Evaluation of the Soundness of Security-focused Android Static Analysis Techniques

15 citations · 41 across the 10 of their papers we have counts for

collaborators
Showing 2023Show all

2 papers · 1 filter

cs.CR2023★ 2 cited

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…

cs.CR2023★ 6 cited

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…