Delusional boot: securing hypervisors without massive re-engineering
The logic of bugs