Projects
2025
Space RadSim: Simulating Cosmic Radiation Effects on Hardened Satellite Firmware
A deterministic fault injection tool simulating cosmic radiation effects on satellite firmware
2022
SGXFuzz: Efficiently Synthesizing Nested Structures for SGX Enclave Fuzzing
A grey-box SGX enclave fuzzing tool
2020
b2d: Asset Localization using Bluetooth Low Energy
Asset Localization using Bluetooth Low Energy
slog-telegraf
Telegraf drain for slog-rs
slog-mongodb
MongoDB drain for slog-rs
2019
Rusty-JSYC
JavaScript-To-Bytecode compiler written in Rust