SoK: Developing Formally Verified Device Drivers
SoK: Developing Formally Verified Device Drivers
| Supervisor(s): | Johannes Wiesböck |
| Status: | inprogress |
| Topic: | Others |
| Author: | Michael Trapp |
| Submission: | 2024-12-16 |
| Type of Thesis: | Bachelorthesis |
Thesis topic in co-operation with the Fraunhofer Institute for Applied and Integrated Security AISEC, Garching
|
|
Description |
|