Adwait Nadkarni

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 29

Top Topics

Static Analysis

Symbolic Execution

Top Venues

USENIX Security Symposium

IEEE Symposium on Security and Privacy

Publications

Prianka Mandal, Amit Seal Ami, Victor Olaiya, Sayyed Hadi Razmjo, Adwait Nadkarni
"Belt and suspenders" or "just red tape"?: Investigating Early Artifacts and User Perceptions of IoT App Security Certification. USENIX Security Symposium (2024)
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, Kevin Moran, Denys Poshyvanyk, Adwait Nadkarni
"False negative - that one is going to kill you": Understanding Industry Perspectives of Static Analysis based Security Testing. 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. 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)
Sigmund Albert Gorski III, Benjamin Andow, Adwait Nadkarni, Sunil Manandhar, William Enck, Eric Bodden, Alexandre Bartel
ACMiner: Extraction and Analysis of Authorization Checks in Android's Middleware. CODASPY (2019)
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)
Sigmund Albert Gorski III, Benjamin Andow, Adwait Nadkarni, Sunil Manandhar, William Enck, Eric Bodden, Alexandre Bartel
ACMiner: Extraction and Analysis of Authorization Checks in Android's Middleware. 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)
Adwait Nadkarni, William Enck, Somesh Jha, Jessica Staddon
Policy by Example: An Approach for Security Policy Specification. CoRR (2017)
Benjamin Andow, Adwait Nadkarni, Blake Bassett, William Enck, Tao Xie
A Study of Grayware on Google Play. IEEE Symposium on Security and Privacy Workshops (2016)
Adwait Nadkarni, Benjamin Andow, William Enck, Somesh Jha
Practical DIFC Enforcement on Android. USENIX Security Symposium (2016)
Rui Shu, Peipei Wang, Sigmund Albert Gorski III, Benjamin Andow, Adwait Nadkarni, Luke Deshotels, Jason Gionta, William Enck, Xiaohui Gu
A Study of Security Isolation Techniques. ACM Comput. Surv. 49 (3) (2016)
Stephan Heuser, Adwait Nadkarni, William Enck, Ahmad-Reza Sadeghi
ASM: A Programmable Interface for Extending Android Security. USENIX Security Symposium (2014)
Adwait Nadkarni, Vasant Tendulkar, William Enck
NativeWrap: ad hoc smartphone application creation for end users. WISEC (2014)
Adwait Nadkarni, William Enck
Preventing accidental data disclosure in modern operating systems. CCS (2013)