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