LAUSR

FinalFilter: Asserting Security Properties of a Processor at Runtime

Sign Up to like & get
recommendations!
0 Published in 2019 at "IEEE Micro"

DOI: 10.1109/mm.2019.2921509

Abstract: & IN AN IDEAL world, it would be possible to build a provably correct and secure processor. However, the complexity of today’s processors puts this ideal out of reach. The complete verification of a modern… read more here.

Keywords: security properties; verification; asserting security; security ... See more keywords