Kaushal Kafle

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