Software

Hardin, D., & Slind, K. (2021). Formal Synthesis of Filter Components for Use in Security-Enhancing Architectural Transformations. In 2021 IEEE Security and Privacy Workshops (SPW) (pp. 111–120). http://doi.org/10.1109/SPW53761.2021.00024

Hardin, D. (2020). Verified Hardware/Software Co-Assurance: Enhancing Safety and Security for Critical Systems. In 2020 IEEE International Systems Conference (SysCon) (pp. 1–6). http://doi.org/10.1109/SysCon47679.2020.9381831

Cofer, D., Amundson, I., Babar, J., Hardin, D., Slind, K., Alexander, P., … Shackleton, J. (2022). Cyber Assured Systems Engineering at Scale. IEEE Security & Privacy, 20, 52–64. http://doi.org/10.1109/MSEC.2022.3151733