- The AI Cyber Challenge
- Cybersecurity Guidance on Drones and Swarms for the FAA
- CAFuzz: A State Coverage Guided Fuzzer for CA Protocol
- ROS2-Based Simulation Framework for Cyberphysical Security Analysis of UAVs
- In Pursuit of Lean OS Kernels
- Whole Kernel Bitcode
- SENSOR: Graph-Based Revision History Analysis for Code Evolution Introspection
- CONSTRUCT: Reconstructing Control Algorithms from Embedded System Binaries
- Considering Grad School?
- MultiK: A Framework for Orchestrating Specialized Kernels
- Security Concepts Explained Through xkcd
- Balancing Image Privacy and Usability with Thumbnail-Preserving Encryption
- A Systems Programmer
- Test Post