37 lines
1.3 KiB
Markdown
Executable File
37 lines
1.3 KiB
Markdown
Executable File
---
|
|
creation[-]date: 2024-08-15
|
|
modification date: Thursday 15th August 2024 08:09:13
|
|
tags: []
|
|
---
|
|
#### Yesterday | Tomorrow
|
|
<< [[2024-08-14]] | [[2024-08-16]] >>
|
|
#### This Week's Weekly Note
|
|
[[Weekly Note 2024-08-14]]
|
|
|
|
## Tasks for today
|
|
### Big Task
|
|
- [x] Get a first draft done of [[ARCADE Implementation at the University of Pittsburgh]]. This is going to be fun! ✅ 2024-09-13
|
|
- [x] Abstract ✅ 2024-09-13
|
|
- [x] Introduction ✅ 2024-08-14
|
|
- [x] Background ✅ 2024-09-13
|
|
- [x] PLC and ICS ✅ 2024-08-14
|
|
- [x] HiL Simulation ✅ 2024-08-15
|
|
- [x] Formally Verified Firmware ✅ 2024-09-13
|
|
- [x] Research Approach ✅ 2024-09-13
|
|
- [x] ARCADE ✅ 2024-09-13
|
|
- [x] kOS ✅ 2024-09-13
|
|
- [x] Embedded Controllers ✅ 2024-09-13
|
|
- [x] Challenges and Limitations ✅ 2024-09-13
|
|
- [x] Education of SBD ✅ 2024-09-13
|
|
- [x] Protection Domains ✅ 2024-09-13
|
|
- [x] Upgrade Costs ✅ 2024-09-13
|
|
- [x] Broader Impact ✅ 2024-09-13
|
|
- [x] Cybersecurity of ICS ✅ 2024-09-13
|
|
- [x] Lower formal methods barrier ✅ 2024-09-13
|
|
- [x] Conclusion ✅ 2024-09-13
|
|
### Medium Tasks
|
|
- [x] Tune up presentation for diffusion ✅ 2024-08-15
|
|
- [x] Present Diffusion presentation ✅ 2024-08-15
|
|
- [x] Make figures for [[ARCADE Implementation at the University of Pittsburgh]] ✅ 2024-09-13
|
|
### Small Tasks
|
|
- [x] Meet and catch up with Patrick ✅ 2024-08-16 |