Publications & Communications
📚 Peer-Reviewed Research
AVBTestKeyInTheWild: Bypassing Android Verified Boot Using A Firmware Supply Chain Vulnerability on Locked Devices
EWSN 2025
View Paper (coming soon)→Active Projects
tflite-rs
TensorFlow Lite Rust bindings for machine learning inference. Forked and actively maintained for improved Rust ecosystem integration.
View on GitHub →Arti-Facts
Rust-based command-line tool and web server for secure, private file sharing over Tor onion services. Features modern HTML interface and instant ZIP downloads.
View on GitHub →AutoSharingStateData
Rust library for automatic state data sharing between application components. Simplifies state management in distributed systems.
View on GitHub →Minimal Android UWB App
Minimal working implementation of UltraWideBand (UWB) technology for Android. Demonstrates basic UWB localization capabilities with 17 stars.
View on GitHub →gradle-dot-nix
Nix flake that generates full Maven repositories for Gradle apps from verification metadata. Enables reproducible builds in the Nix ecosystem.
View on GitHub →Coco/R TypeScript Port
TypeScript port of the Coco/R compiler generator. Enables parser generation for TypeScript/JavaScript projects with modern tooling.
View on GitHub →Lab Notes & Observations
Ongoing research observations, hypothesis testing, and experimental findings from daily laboratory work.
Laboratory Equipment
Essential Laboratory Equipment
High-precision coffee brewing apparatus - critical for maintaining research productivity
De'Longhi Magnifica SCollaboration Opportunities
Available for research collaboration, consultation, and emergency debugging sessions.