Adwait Nadkarni

According to our database1, Adwait Nadkarni authored at least 22 papers between 2013 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
"False negative - that one is going to kill you": Understanding Industry Perspectives of Static Analysis based Security Testing.
CoRR, 2023

Helion: Enabling Natural Testing of Smart Homes.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

MASC: A Tool for Mutation-Based Evaluation of Static Crypto-API Misuse Detectors.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2022
Smart Home Privacy Policies Demystified: A Study of Availability, Content, and Coverage.
Proceedings of the 31st USENIX Security Symposium, 2022

Why Crypto-detectors Fail: A Systematic Evaluation of Cryptographic Misuse Detection Techniques.
Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Understanding IoT Security from a Market-Scale Perspective.
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021
Systematic Mutation-Based Evaluation of the Soundness of Security-Focused Android Static Analysis Techniques.
ACM Trans. Priv. Secur., 2021

Security in Centralized Data Store-based Home Automation Platforms: A Systematic Analysis of Nest and Hue.
ACM Trans. Cyber Phys. Syst., 2021

Towards Practical Integrity in the Smart Home with HomeEndorser.
CoRR, 2021

µSE: Mutation-Based Evaluation of Security-Focused Static Analysis Tools for Android.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

2020
Towards a Natural Perspective of Smart Homes for Practical Security and Safety Analyses.
Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2019
Helion: Enabling a Natural Perspective of Home Automation.
CoRR, 2019

A Study of Data Store-based Home Automation.
Proceedings of the Ninth ACM Conference on Data and Application Security and Privacy, 2019

ACMiner: Extraction and Analysis of Authorization Checks in Android's Middleware.
Proceedings of the Ninth ACM Conference on Data and Application Security and Privacy, 2019

2018
Discovering Flaws in Security-Focused Static Analysis Tools for Android using Systematic Mutation.
Proceedings of the 27th USENIX Security Symposium, 2018

2017
Policy by Example: An Approach for Security Policy Specification.
CoRR, 2017

2016
A Study of Security Isolation Techniques.
ACM Comput. Surv., 2016

Practical DIFC Enforcement on Android.
Proceedings of the 25th USENIX Security Symposium, 2016

A Study of Grayware on Google Play.
Proceedings of the 2016 IEEE Security and Privacy Workshops, 2016

2014
NativeWrap: ad hoc smartphone application creation for end users.
Proceedings of the 7th ACM Conference on Security & Privacy in Wireless and Mobile Networks, 2014

ASM: A Programmable Interface for Extending Android Security.
Proceedings of the 23rd USENIX Security Symposium, San Diego, CA, USA, August 20-22, 2014., 2014

2013
Preventing accidental data disclosure in modern operating systems.
Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013


  Loading...