Towards a natural perspective of smart homes for practical security and safety analyses S Manandhar, K Moran, K Kafle, R Tang, D Poshyvanyk, A Nadkarni
2020 ieee symposium on security and privacy (sp), 482-499, 2020
45 2020 Discovering flaws in {Security-Focused} static analysis tools for android using systematic mutation R Bonett, K Kafle, K Moran, A Nadkarni, D Poshyvanyk
27th USENIX Security Symposium (USENIX Security 18), 1263-1280, 2018
38 2018 A study of data store-based home automation K Kafle, K Moran, S Manandhar, A Nadkarni, D Poshyvanyk
Proceedings of the Ninth ACM Conference on Data and Application Security and …, 2019
35 2019 Why crypto-detectors fail: A systematic evaluation of cryptographic misuse detection techniques AS Ami, N Cooper, K Kafle, K Moran, D Poshyvanyk, A Nadkarni
2022 IEEE Symposium on Security and Privacy (SP), 614-631, 2022
24 2022 Security in centralized data store-based home automation platforms: A systematic analysis of nest and hue K Kafle, K Moran, S Manandhar, A Nadkarni, D Poshyvanyk
ACM Transactions on Cyber-Physical Systems 5 (1), 1-27, 2020
24 2020 Understanding iot security from a market-scale perspective X Jin, S Manandhar, K Kafle, Z Lin, A Nadkarni
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022
21 2022 Systematic mutation-based evaluation of the soundness of security-focused android static analysis techniques AS Ami, K Kafle, K Moran, A Nadkarni, D Poshyvanyk
ACM Transactions on Privacy and Security (TOPS) 24 (3), 1-37, 2021
16 2021 Improving nepali document classification by neural network K Kafle, D Sharma, A Subedi, AK Timalsina
Proceedings IOE Graduate Conference, 317-322, 2016
14 2016 Smart home privacy policies demystified: A study of availability, content, and coverage S Manandhar, K Kafle, B Andow, K Singh, A Nadkarni
31st USENIX Security Symposium (USENIX Security 22), 3521-3538, 2022
9 2022 Towards Practical Integrity in the Smart Home with HomeEndorser K Kafle, K Jagtap, M Ahmed-Rengers, T Jaeger, A Nadkarni
arXiv preprint arXiv:2109.05139, 2021
3 2021 µse: Mutation-based evaluation of security-focused static analysis tools for android AS Ami, K Kafle, A Nadkarni, D Poshyvanyk, K Moran
2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021
3 2021 Helion: Enabling a natural perspective of home automation S Manandhar, K Moran, K Kafle, R Tang, D Poshyvanyk, A Nadkarni
arXiv preprint arXiv:1907.00124, 2019
2 2019 MASC: A Tool for Mutation-Based Evaluation of Static Crypto-API Misuse Detectors AS Ami, SY Ahmed, RM Redoy, N Cooper, K Kafle, K Moran, ...
Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023
1 2023 Understanding the Privacy Practices of Political Campaigns: A Perspective from the 2020 US Election Websites K Kafle, P Mandal, K Singh, B Andow, A Nadkarni
2024 IEEE Symposium on Security and Privacy (SP), 91-91, 2024
2024 Practical Integrity Validation in the Smart Home with HomeEndorser K Kafle, K Jagtap, M Ahmed-Rengers, T Jaeger, A Nadkarni
2024 Helion: Enabling Natural Testing of Smart Homes P Mandal, S Manandhar, K Kafle, K Moran, D Poshyvanyk, A Nadkarni
Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023
2023 MASC: A Tool for Mutation-Based Evaluation of Static Crypto-API Misuse Detectors A Seal Ami, S Yusuf Ahmed, R Mahmud Redoy, N Cooper, K Kafle, ...
arXiv e-prints, arXiv: 2308.02310, 2023
2023 Why Crypto-detectors Fail: A Systematic Evaluation of Cryptographic Misuse Detection Techniques A Seal Ami, N Cooper, K Kafle, K Moran, D Poshyvanyk, A Nadkarni
arXiv e-prints, arXiv: 2107.07065, 2021
2021 A Seal Ami, K Kafle, K Moran, A Nadkarni, D Poshyvanyk
arXiv e-prints, arXiv: 2102.06823, 2021
2021 Systematic Mutation-based Evaluation of the Soundness of Security-focused Android Static Analysis Techniques A Seal Ami, K Kafle, K Moran, A Nadkarni, D Poshyvanyk
arXiv e-prints, arXiv: 2102.06829, 2021
2021 
Adwait NadkarniWilliam & MaryGeverifieerd e-mailadres voor wm.edu
