Title: Safety of Computer Architectures