research
∙
08/13/2023
Helion: Enabling Natural Testing of Smart Homes
Prior work has developed numerous systems that test the security and saf...
share
research
∙
08/04/2023
MASC: A Tool for Mutation-Based Evaluation of Static Crypto-API Misuse Detectors
While software engineers are optimistically adopting crypto-API misuse d...
research
∙
07/30/2023
"False negative – that one is going to kill you": Understanding Industry Perspectives of Static Analysis based Security Testing
The demand for automated security analysis techniques, such as static an...
research
∙
09/10/2021
Towards Practical Integrity in the Smart Home with HomeEndorser
Home automation in modern smart home platforms is often facilitated usin...
research
∙
07/15/2021
Why Crypto-detectors Fail: A Systematic Evaluation of Cryptographic Misuse Detection Techniques
The correct use of cryptography is central to ensuring data security in ...
research
∙
02/13/2021
Systematic Mutation-based Evaluation of the Soundness of Security-focused Android Static Analysis Techniques
Mobile application security has been a major area of focus for security ...
research
∙
02/12/2021
μSE: Mutation-based Evaluation of Security-focused Static Analysis Tools for Android
This demo paper presents the technical details and usage scenarios of μS...
research
∙
06/29/2019
Helion: Enabling a Natural Perspective of Home Automation
Security researchers have recently discovered significant security and s...
research
∙
01/11/2019
ACMiner: Extraction and Analysis of Authorization Checks in Android's Middleware
Billions of users rely on the security of the Android platform to protec...
research
∙
12/04/2018
A Study of Data Store-based Home Automation
Home automation platforms provide a new level of convenience by enabling...
research
∙
06/26/2018