---
creation date: 2024-08-08
modification date: Thursday 8th August 2024 09:57:16
tags:
  - Research
---
# Preamble
### Notable Links
[[ARCADE Implementation at the University of Pittsburgh]]
[[1. A shortlist of ARCADE Experiments]]
## What are we doing?
Collecting and organizing papers about HiTL testing. Making notes about 'em. Stuff like that.
## Why are we doing it?
08-08-2024: I'm writing a paper for [[2. (SR-CIST) Workshop on Security and Resiliency of Critical Infrastructure and Space Technologies]] and really need to know about hardware in the loop testing. 
## Who cares?
Me. Andrew, probably. Dan, a lot.
# Papers
## Summary Table
```dataview
table without id
link(file.path, title) as "Title", year as "Year", authors as "Authors", readstatus as "Read Status"
from outgoing([[]])
where readstatus or readstatus=False 
sort readstatus desc, year desc
```
## Papers about ARCADE
[[maccaroneADVANCEDREACTORCYBER]]
[[chenFullscopeHighfidelitySimulatorbased2024]]

## Hardware In The Loop Papers
[[mihalicHardwareintheLoopSimulationsHistorical2022]]
[[bullockHardwareintheloopSimulation2004]]
[[puysHardwareInTheLoopLabsSCADA2021]]
[[choiRealTimeHardwareintheLoopHIL2021]]

## Cybersecurity of OT Papers
[[sunSoKAttacksIndustrial2021]]
[[mclaughlinControllerawareFalseData2014]]
[[chekoleEnforcingMemorySafety2018]]
[[kushnerRealStoryStuxnet2013]]
[[CyberAttackGerman2015]]
[[sguegliaFederalOfficialsInvestigating2023]]
## Formal Methods and PLCs
[[fernandezadiegoApplyingModelChecking2015]]
[[lopez-miguelPLCverifStatusFormal2022]]
[[kleinFormallyVerifiedSoftware2018]] -- Littlebird paper

## Kry10
[[Kry10TechnicalOverview]]