Michael
Doran.
I design secure embedded platforms and research how cyber-physical systems withstand disruption, helping protect the critical infrastructure we depend on.
Projects & Research.
Isolation, Down to the Hardware.
Implementing seL4 virtualization on a RISC-V Rocket softcore and AMD Zynq UltraScale+ platform.
Vulnerabilities, in Plant Context.
Bringing network discovery, vulnerability assessment, and reactor simulation into one experimental environment.
Can You Trust the Measurement?
Examining data integrity in radiation detection, from measurement files to firmware and transport.
Notes & Writing.
Why Formal Verification Matters in Embedded Systems
What formal verification actually establishes, why seL4 is an important example, and where proofs stop short of a complete security argument.
Microkit / DebuggingDebugging Microkit in QEMU: A Working Checklist
A repeatable approach to isolating toolchain, image-generation, and boot failures.
Microkit / CommunicationConnecting Microkit Protection Domains with Channels
Build two isolated protection domains, connect them with a Microkit notification channel, and boot the result in QEMU.
A Bit About Me.
I split my time between engineering, doctoral research, and Army Reserve service. This site brings that work together, with room for the ideas I'm still figuring out.
View résumé