50 lines
1.6 KiB
Markdown
Executable File
50 lines
1.6 KiB
Markdown
Executable File
---
|
|
creation date: 2024-08-08
|
|
modification date: Thursday 8th August 2024 09:57:16
|
|
tags:
|
|
- Research
|
|
- "#Survey"
|
|
---
|
|
# 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]] |