Certifying Machine Code Safe from Hardware Aliasing: RISC is not necessarily risky

Breuer, PT and Bowen, JP (2013) Certifying Machine Code Safe from Hardware Aliasing: RISC is not necessarily risky. In: International Conference on Software Engineering and Formal Methods, September 23rd- 24th 2013, Madrid, Spain. DOI https://doi.org/10.1007/978-3-319-05032-4_27

Abstract

More Information

Divisions: Schools > Engineering > Computing and Informatics
Official URL: http://dx.doi.org/10.1007/978-3-319-05032-4_27
DOI: https://doi.org/10.1007/978-3-319-05032-4_27
Date Deposited: 20 Dec 2016 16:35
Creators:
CreatorsORCID
Breuer, PT
Bowen, JP
Item Type: Conference or Workshop Item (UNSPECIFIED)
Creators: Breuer, PT and Bowen, JP
Depositing User: LSBU Open Access Team
Subjects: ?? cs.LO ??
?? cs.SE ??
?? D.2.4 ??
Last Modified: 22 Feb 2018 10:26
Item ID: 259

Download

Text (Conference Paper)
1305.6431v4.pdf - Accepted Version
Restricted to Repository staff only
Licence: Logo for Creative Commons Attribution Non-commercial No Derivatives license

Download (218kB)

Export Citation

Share

Statistics

Altmetric

IRStats2

Downloads
Activity Overview
0Downloads
13Hits

Statistics for this record are available via IRStats2