Cybersecurity of Radiation Detection Devices: A Proof-of-Concept Attack
Studies radiation-detection data integrity and protections across measurement files, firmware, and data transport.
Questions Explored.
Ideas Shared.
Selected work in high-assurance computing and cyber-physical security, from embedded virtualization to nuclear systems and operational technology.
8 selected entries
Development of a Vulnerability Management Tool for Advanced Reactors
Connects automated network discovery and vulnerability assessment with an emulated reactor network and plant simulation.
An Intelligent Compliance Mapping and Evidence Reasoning System for Operational Technology Cybersecurity
Presentation by Michael A. Doran Jr., listed in the official conference program. Explores traceable control-to-evidence reasoning for OT cybersecurity.
FANCY-X: A Nuclear Power Plant Network Testbed for Cross-Network Cybersecurity Evaluation and Generalizability
A virtual and hybrid nuclear network testbed for studying how cyber-attack detection generalizes between networks.
iFAN Ecosystem: A Unified AI, Digital Twin, Cyber-Physical Security, and Robotics Environment for Advanced Nuclear Simulation and Operations
A collaborative digital twin framework bringing simulation, AI, robotics, and cyber-physical security into a common environment.
Embedded Virtualization on RISC-V with seL4
Implementation of seL4 with RISC-V hypervisor extensions on a Rocket softcore in a Zynq UltraScale+ platform.
Deterministic & Modular Architecture for Embedded Vehicle Systems
A reference architecture combining time-sensitive networking and seL4 virtualization for partitioned embedded vehicle systems.
seL4 on RISC-V - Developing High Assurance Platforms with Modular Open-Source Architectures
Master's thesis on open hardware–software co-design for RISC-V virtualization and the seL4 microkernel.