Kaushal Kafle

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 21

Top Topics

Ubiquitous Environments

Static Analysis

Top Venues

IEEE Symposium on Security and Privacy

USENIX Security Symposium

ESEC/SIGSOFT FSE

Publications

Kaushal Kafle, Kirti Jagtap, Mansoor Ahmed-Rengers, Trent Jaeger, Adwait Nadkarni
Practical Integrity Validation in the Smart Home with HomeEndorser. WISEC (2024)
Amit Seal Ami, Syed Yusuf Ahmed, Radowan Mahmud Redoy, Nathan Cooper, Kaushal Kafle, Kevin Moran, Denys Poshyvanyk, Adwait Nadkarni
MASC: A Tool for Mutation-Based Evaluation of Static Crypto-API Misuse Detectors. ESEC/SIGSOFT FSE (2023)
Prianka Mandal, Sunil Manandhar, Kaushal Kafle, Kevin Moran, Denys Poshyvanyk, Adwait Nadkarni
Helion: Enabling Natural Testing of Smart Homes. CoRR (2023)
Amit Seal Ami, Syed Yusuf Ahmed, Radowan Mahmud Redoy, Nathan Cooper, Kaushal Kafle, Kevin Moran, Denys Poshyvanyk, Adwait Nadkarni
MASC: A Tool for Mutation-Based Evaluation of Static Crypto-API Misuse Detectors. CoRR (2023)
Prianka Mandal, Sunil Manandhar, Kaushal Kafle, Kevin Moran, Denys Poshyvanyk, Adwait Nadkarni
Helion: Enabling Natural Testing of Smart Homes. ESEC/SIGSOFT FSE (2023)
Sunil Manandhar, Kaushal Kafle, Benjamin Andow, Kapil Singh, Adwait Nadkarni
Smart Home Privacy Policies Demystified: A Study of Availability, Content, and Coverage. USENIX Security Symposium (2022)
Xin Jin, Sunil Manandhar, Kaushal Kafle, Zhiqiang Lin, Adwait Nadkarni
Understanding IoT Security from a Market-Scale Perspective. CCS (2022)
Amit Seal Ami, Nathan Cooper, Kaushal Kafle, Kevin Moran, Denys Poshyvanyk, Adwait Nadkarni
Why Crypto-detectors Fail: A Systematic Evaluation of Cryptographic Misuse Detection Techniques. IEEE Symposium on Security and Privacy (2022)
Amit Seal Ami, Kaushal Kafle, Adwait Nadkarni, Denys Poshyvanyk, Kevin Moran
µSE: Mutation-Based Evaluation of Security-Focused Static Analysis Tools for Android. ICSE (Companion Volume) (2021)
Amit Seal Ami, Kaushal Kafle, Kevin Moran, Adwait Nadkarni, Denys Poshyvanyk
μSE: Mutation-based Evaluation of Security-focused Static Analysis Tools for Android. CoRR (2021)
Kaushal Kafle, Kirti Jagtap, Mansoor Ahmed-Rengers, Trent Jaeger, Adwait Nadkarni
Towards Practical Integrity in the Smart Home with HomeEndorser. CoRR (2021)
Kaushal Kafle, Kevin Moran, Sunil Manandhar, Adwait Nadkarni, Denys Poshyvanyk
Security in Centralized Data Store-based Home Automation Platforms: A Systematic Analysis of Nest and Hue. ACM Trans. Cyber Phys. Syst. 5 (1) (2021)
Amit Seal Ami, Kaushal Kafle, Kevin Moran, Adwait Nadkarni, Denys Poshyvanyk
Systematic Mutation-Based Evaluation of the Soundness of Security-Focused Android Static Analysis Techniques. ACM Trans. Priv. Secur. 24 (3) (2021)
Amit Seal Ami, Kaushal Kafle, Kevin Moran, Adwait Nadkarni, Denys Poshyvanyk
Systematic Mutation-based Evaluation of the Soundness of Security-focused Android Static Analysis Techniques. CoRR (2021)
Amit Seal Ami, Nathan Cooper, Kaushal Kafle, Kevin Moran, Denys Poshyvanyk, Adwait Nadkarni
Why Crypto-detectors Fail: A Systematic Evaluation of Cryptographic Misuse Detection Techniques. CoRR (2021)
Sunil Manandhar, Kevin Moran, Kaushal Kafle, Ruhao Tang, Denys Poshyvanyk, Adwait Nadkarni
Towards a Natural Perspective of Smart Homes for Practical Security and Safety Analyses. IEEE Symposium on Security and Privacy (2020)
Kaushal Kafle, Kevin Moran, Sunil Manandhar, Adwait Nadkarni, Denys Poshyvanyk
A Study of Data Store-based Home Automation. CODASPY (2019)
Sunil Manandhar, Kevin Moran, Kaushal Kafle, Ruhao Tang, Denys Poshyvanyk, Adwait Nadkarni
Helion: Enabling a Natural Perspective of Home Automation. CoRR (2019)
Richard Bonett, Kaushal Kafle, Kevin Moran, Adwait Nadkarni, Denys Poshyvanyk
Discovering Flaws in Security-Focused Static Analysis Tools for Android using Systematic Mutation. USENIX Security Symposium (2018)
Kaushal Kafle, Kevin Moran, Sunil Manandhar, Adwait Nadkarni, Denys Poshyvanyk
A Study of Data Store-based Home Automation. CoRR (2018)
Richard Bonett, Kaushal Kafle, Kevin Moran, Adwait Nadkarni, Denys Poshyvanyk
Discovering Flaws in Security-Focused Static Analysis Tools for Android using Systematic Mutation. CoRR (2018)