EDBT 2026 Demo / reviewers in the wild / expert
Michael Grace
dblp:168/9541
· DBLP profile ↗
8ranked-venue papers
0as first author
1since 2021 · last 2026
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 7 · 1 since 2021Systems, architecture and hardware · 1Databases, data management, data science and information retrieval · 1Applied, interdisciplinary, general and emerging computing · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Network and information security
4 papers |
Systems and software security · 43% Web and mobile security · 32% Hardware security and side channels · 21% | |
| Software engineering, system software, and programming languages
1 paper |
Program analysis · 100% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Cloud and datacenter computing · 100% |
Topics — the 9 heaviest of 9, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Systems and software security
cloud security |
0.4 | 1 | 2020 | Valve: Securing Function Workflows on Serverless Computing Platforms · WWW 2020 |
Hardware security and side channels
trusted execution environments |
0.4 | 1 | 2020 | PARTEMU: Enabling Dynamic Analysis of Real-World TrustZone Software Using Emulation · USENIX Security Symposium 2020 |
Program analysis
dynamic analysis |
0.4 | 1 | 2020 | PARTEMU: Enabling Dynamic Analysis of Real-World TrustZone Software Using Emulation · USENIX Security Symposium 2020 |
Cloud and datacenter computing
serverless computing |
0.4 | 1 | 2020 | Valve: Securing Function Workflows on Serverless Computing Platforms · WWW 2020 |
Web and mobile security › mobile security
android security |
0.3 | 1 | 2018 | ATtention Spanned: Comprehensive Vulnerability Analysis of AT Commands Within the Android Ecosystem · USENIX Security Symposium 2018 |
Web and mobile security
mobile security |
0.3 | 1 | 2018 | ATtention Spanned: Comprehensive Vulnerability Analysis of AT Commands Within the Android Ecosystem · USENIX Security Symposium 2018 |
Systems and software security
operating system security |
0.2 | 1 | 2015 | Hare Hunting in the Wild Android: A Study on the Threat of Hanging Attribute References · CCS 2015 |
Systems and software security
vulnerability discovery |
0.2 | 1 | 2015 | Hare Hunting in the Wild Android: A Study on the Threat of Hanging Attribute References · CCS 2015 |
Malware analysis
android malware |
0.1 | 1 | 2015 | Hare Hunting in the Wild Android: A Study on the Threat of Hanging Attribute References · CCS 2015 |
Methods — techniques the papers use, named apart from their topics
emulation · 0.9static analysis · 0.2harehunter tool · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Proteus: A Practical Framework for Privacy-Preserving Device LogsabstractDevice logs are essential for forensic investigations, enterprise monitoring, and fraud detection; however, they often leak personally identifiable information (PII) when exported for third-party analysis. Existing approaches either fail to minimize PII exposure across all stages of log collection and analysis or sacrifice data fidelity, resulting in less effective analysis. We present Proteus, a privacy-preserving device logging framework that enables forensic analysis without disclosing plaintext PII or compromising fidelity, even when facing adversaries with access to multiple snapshots of the log files. To achieve this, Proteus proposes a two-layer scheme that employs keyed-hash pseudonymization of PII fields and time-rotating encryption with ratcheted ephemeral keys to prevent multi-snapshot correlation. For controlled sharing, clients export ratchet states that grant time-bounded access, permitting decryption of pseudonymized tokens that enable linkage and timeline reconstruction without exposing the underlying PII. Subsequent ratchet rotations ensure forward secrecy, while DICE-based attestation authenticates device provenance. We implement Proteus as a transparent extension to Android’s logcat and evaluate it across three generations of hardware. Our results demonstrate a median latency of 0.2 ms per message and an average per-PII-field size overhead of only 97.1 bytes. Sanket Goutam, Hunter Kippen, Michael Grace, Amir Rahmati |
Proc. Priv. Enhancing Technol. | 3 |
| 2020 | PARTEMU: Enabling Dynamic Analysis of Real-World TrustZone Software Using Emulation
Lee Harrison, Hayawardh Vijayakumar, Rohan Padhye, Koushik Sen, Michael Grace |
USENIX Security Symposium | 5 |
| 2020 | Valve: Securing Function Workflows on Serverless Computing PlatformsabstractServerless Computing has quickly emerged as a dominant cloud computing paradigm, allowing developers to rapidly prototype event-driven applications using a composition of small functions that each perform a single logical task. However, many such application workflows are based in part on publicly-available functions developed by third-parties, creating the potential for functions to behave in unexpected, or even malicious, ways. At present, developers are not in total control of where and how their data is flowing, creating significant security and privacy risks in growth markets that have embraced serverless (e.g., IoT). Pubali Datta, Prabuddha Kumar, Tristan Morris, Michael Grace, Amir Rahmati, Adam Bates 0001 |
WWW | 4 |
| 2018 | ATtention Spanned: Comprehensive Vulnerability Analysis of AT Commands Within the Android Ecosystem
Jing (Dave) Tian, Grant Hernandez, Joseph I. Choi, Vanessa Frost, Christie Ruales, Patrick Traynor, Hayawardh Vijayakumar, Lee Harrison, Amir Rahmati, Michael Grace, Kevin R. B. Butler |
USENIX Security Symposium | 10 |
| 2017 | Ghost Installer in the Shadow: Security Analysis of App Installation on AndroidabstractAndroid allows developers to build apps with app installation functionality themselves with minimal restriction and support like any other functionalities. Given the critical importance of app installation, the security implications of the approach can be significant. This paper reports the first systematic study on this issue, focusing on the security guarantees of different steps of the App Installation Transaction (AIT). We demonstrate the serious consequences of leaving AIT development to individual developers: most installers (e.g., Amazon AppStore, DTIgnite, Baidu) are riddled with various security-critical loopholes, which can be exploited by attackers to silently install any apps, acquiring dangerous-level permissions or even unauthorized access to system resources. Surprisingly, vulnerabilities were found in all steps of AIT. The attacks we present, dubbed Ghost Installer Attack (GIA), are found to pose a realistic threat to Android ecosystem. Further, we developed both a user-app-level and a system-level defense that are innovative and practical. Yeonjoon Lee, Tongxin Li 0002, Nan Zhang 0018, Soteris Demetriou, Mingming Zha 0001, XiaoFeng Wang 0001, Kai Chen 0012, Xiao-yong Zhou, Xinhui Han, Michael Grace |
DSN | 10 |
| 2017 | HanGuard: SDN-driven protection of smart home WiFi devices from malicious mobile appsabstractA new development of smart-home systems is to use mobile apps to control IoT devices across a Home Area Network (HAN). As verified in our study, those systems tend to rely on the Wi-Fi router to authenticate other devices. This treatment exposes them to the attack from malicious apps, particularly those running on authorized phones, which the router does not have information to control. Mitigating this threat cannot solely rely on IoT manufacturers, which may need to change the hardware on the devices to support encryption, increasing the cost of the device, or software developers who we need to trust to implement security correctly. In this work, we present a new technique to control the communication between the IoT devices and their apps in a unified, backward-compatible way. Our approach, called HanGuard, does not require any changes to the IoT devices themselves, the IoT apps or the OS of the participating phones. HanGuard uses an SDN-like approach to offer fine-grained protection: each phone runs a non-system userspace Monitor app to identify the party that attempts to access the protected IoT device and inform the router through a control plane of its access decision; the router enforces the decision on the data plane after verifying whether the phone should be allowed to talk to the device. We implemented our design over both Android and iOS (> 95% of mobile OS market share) and a popular router. Our study shows that HanGuard is both efficient and effective in practice. Soteris Demetriou, Nan Zhang 0018, Yeonjoon Lee, XiaoFeng Wang 0001, Carl A. Gunter, Xiao-yong Zhou, Michael Grace |
WISEC | 7 |
| 2016 | Attacking Android smartphone systems without permissionsabstractAndroid requires third-party applications to request for permissions when they access critical mobile resources, such as users' personal information and system operations. In this paper, we present the attacks that can be launched without permissions. We first perform call graph analysis, component analysis and data-flow analysis on various parts of Android framework to retrieve unprotected APIs. Unprotected APIs provide a way of accessing resources without any permissions. We then exploit selected unprotected APIs and launch a number of attacks on Android phones. We discover that without requesting for any permissions, an attacker can access to device ID, phone service state, SIM card state, Wi-Fi and network information, as well as user setting information, such as airplane, location, NFC, USB and power modes of mobile devices. An attacker can also disturb Bluetooth discovery services, and block the incoming emails, calendar events, and Google documents. Moreover, an attacker can set volumes of devices and trigger alarm tones and ringtones that users personally set for their devices. An attacker can also launch camera, mail, music and phone applications even when the devices are locked. We compare our research on two Android versions, and discover that as platform providers incorporate more APIs, the number of unprotected APIs increases and new attacks become possible. We thus suggest platform providers to inspect Android frameworks systematically before releasing new versions. Su Mon Kywe, Yingjiu Li, Kunal Petal, Michael Grace |
PST | 4 |
| 2015 | Hare Hunting in the Wild Android: A Study on the Threat of Hanging Attribute ReferencesabstractAndroid is characterized by the complicated relations among its components and apps, through which one party interacts with the other (e.g., starting its activity) by referring to its attributes like package, activity, service, action names, authorities and permissions. Such relations can be easily compromised during a customization: e.g., when an app is removed to fit an Android version to a new device model, while references to the app remain inside that OS. This conflict between the decentralized, unregulated Android customization process and the interdependency among different Android components and apps leads to the pervasiveness of hanging attribute references (Hares), a type of vulnerabilities never investigated before. In our research, we show that popular Android devices are riddled with such flaws, which often have serious security implications: when an attribute (e.g., a package/authority/action name) is used on a device but the party defining it has been removed, a malicious app can fill the gap to acquire critical system capabilities, by simply disguising as the owner of the attribute. More specifically, we discovered in our research that on various Android devices, the malware can exploit their Hares to steal the user's voice notes, control the screen unlock process, replace Google Email's account settings activity and collect or even modify the user's contact without proper permissions. We further designed and implemented Harehunter, a new tool for automatic detection of Hares by comparing attributes defined with those used, and analyzing the references to undefined attributes to determine whether they have been protected (e.g., by signature checking). On the factory images for 97 most popular Android devices, Harehunter discovered 21557 likely Hare flaws, demonstrating the significant impacts of the problem. To mitigate the hazards, we further developed an app for detecting the attempts to exploit Hares on different devices and provide the guidance for avoiding this pitfall when building future systems. Yousra Aafer, Nan Zhang 0018, Zhongwen Zhang, Kai Chen 0012, XiaoFeng Wang 0001, Xiao-yong Zhou, Wenliang Du 0001, Michael Grace |
CCS | 9 |