DATA61
UNSW Sydney
The ISA is the established hardware-software contract. As the ISA hides hardware features that affect timing of execution, it is no longer sufficient for ensuring system security and safety. We argue that a new contract is required, which exposes such features.
@article{Heiser_18, doi = {https://doi.org/10.1109/MDAT.2017.2766559}, publisher = {IEEE}, month = mar, journal = {IEEE Design and Test}, paperurl = {https://trustworthy.systems/publications/csiro_full_text/Heiser_18.pdf}, year = {2018}, issue = {2}, volume = {35}, title = {For Safety's Sake: We Need a New Hardware-Software Contract!}, pages = {27-30}, author = {Heiser, Gernot}, date = {2018-3-23} }