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

Breuer, P.T., and Bowen, J.P. (2013). Certifying Machine Code Safe from Hardware Aliasing: RISC is not necessarily risky. Paper presented at International Conference on Software Engineering and Formal Methods, Madrid, Spain, September 23rd- 24th 2013. London South Bank University. 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

IRStats2

Downloads
Activity Overview
0Downloads
35Hits

Statistics for this record are available via IRStats2