Michael
Doran.

EMBEDDED SYSTEMS CYBERSECURITY

I design secure embedded platforms and research how cyber-physical systems withstand disruption, helping protect the critical infrastructure we depend on.

My approach to embedded systems cybersecurity ↗

Explore my work View résumé

SELECTED WORK

Projects & Research.

All projects

EMBEDDED SYSTEMS / GRADUATE RESEARCH

Isolation, Down to the Hardware.

Implementing seL4 virtualization on a RISC-V Rocket softcore and AMD Zynq UltraScale+ platform.

RISC-VseL4Virtualization

OT CYBERSECURITY / PUBLISHED RESEARCH

Vulnerabilities, in Plant Context.

Bringing network discovery, vulnerability assessment, and reactor simulation into one experimental environment.

OT cybersecurityVulnerability managementDigital twins

CYBERSECURITY / PUBLISHED RESEARCH

Can You Trust the Measurement?

Examining data integrity in radiation detection, from measurement files to firmware and transport.

Cyber-physical systemsData integrityRoot of trust

THE LAB

Experiments.

What happens when a sensor reports something that isn't true? Explore the gap between a signal and the system that trusts it.

Try the experiment

BROWSER SIMULATION THE LAB

Reference signalReported signal

Change the input. Observe the consequences.

FIELD NOTES

Notes & Writing.

All writing

Microkit / Fundamentals

Reading a Microkit System Description

Understand how a program image becomes part of a Microkit system, and learn to read the configuration before adding more code.

Nov 1, 20263 min read ↗Microkit / Toolchain

Microkit on QEMU: The Basic Toolchain

Set up Microkit 2.4.0, build its hello example, and boot it in QEMU. Switch between commands for Intel macOS and Ubuntu Linux.

Oct 31, 20266 min read ↗

A LITTLE CONTEXT

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é

Get in Touch.

Let's talk

MichaelDoran.