Publications

Conference Papers

Emulating Android Device Drivers via Borrowed Execution Context

Published in Proceedings of ISC, 2024

Emulation makes dynamic analysis easier, but emulation of Android kernels is rarely supported. We proposed a tool (LiLi) that makes it eaiser to emulate Android kernel images. We then fuzzed some kernels, and found 4 zero-day vulnerabilities (some high-severity).

Download Paper

Workshop Papers

Surveying the Rust Verification Landscape

Published in arXiv, 2024

We explore what it means to do Rust verification. Specifically, we explore which properties are worth verifying for Rust; what techniques exist to verify them; and which code is worth verifying. In doing so, we motivate an effort to verify safety properties of the Rust standard library, presenting the relevant challenges along with ideas to address them.

Download Paper

Alex Le Blanc

Publications

Conference Papers

Emulating Android Device Drivers via Borrowed Execution Context

Workshop Papers

Surveying the Rust Verification Landscape