About
Hi! I am Josh Dafoe, a second-year PhD student in computer science at Michigan Tech and an NSF Graduate Research Fellow.
I received my bachelor’s degree in Mathematics and Computer Science from Michigan Tech in 2025. My current research focuses on secure programmable flash storage and formally verifiable agentic software engineering.
News
-
Completed a full redesign of my website.
-
I was awarded the NSF Graduate Research Fellowship.
-
Gave a guest lecture on vehicle cybersecurity for SAT4520: Machine Learning for Security.
-
Played in the Michigan Tech Broomball All-Star Game.
-
Placed second in the intermediate category at the Ridge Roamers fall climbing competition.
-
Presented our paper “Hardware-assisted Secure Decentralized Cloud Storage via Self-audit and Self-repair” at SecureComm 2025.
-
I began my PhD at Michigan Tech.
-
Graduated from Michigan Tech with a B.S. in Mathematics and Computer Science.
-
Open-sourced my personal dotfiles and Arch Linux configuration.
View repository -
Received an honorable mention from the NSF Graduate Research Fellowship Program.
-
Open-sourced DNN-I, a fully connected neural network implemented from scratch in Guile Scheme, achieving 96.62% accuracy on MNIST.
View project -
Our paper “Enabling Per-file Data Recovery from Ransomware Attacks via File System Forensics and Flash Translation Layer Data Extraction” was published in Springer Nature's journal Cybersecurity.
-
I presented our paper “Hardware-assisted Runtime In-vehicle ECU Firmware Self-attestation and Self-repair” at SmartSP 2024, where it received the Best Paper Award (Top 2.9%).
-
Completed my first century bike ride, cycling 100 miles through the Keweenaw Peninsula with my friend Ben.
-
Published an essay exploring the relation between Hilbert's 1900 address, Gödel's incompleteness theorems, the Entscheidungsproblem.
Read essay -
Won first place in the undergraduate category at Michigan Tech's Computing[AI] Showcase poster competition.
-
Our paper “Enabling Real-Time Restoration of Compromised ECU Firmware in Connected and Autonomous Vehicles” was presented at SmartSP 2023.
-
I presented our research on flash-memory-based ransomware recovery at the Flash Memory Summit.
-
Ran my first half marathon with a time of 1 hour, 53 minutes: the Canal Run in Hancock, Michigan.
-
Awarded a Michigan Tech Summer Undergraduate Research Fellowship.
-
Open-sourced FDRecovery, a file-system forensics based data recovery tool, with support for ext2/3/4, exFAT, FAT32, and NTFS.
View project -
Joined the Michigan Tech Security and Privacy Lab as an undergraduate research assistant.
No entries in this category yet.