FinalFilter: Asserting Security Properties of a Processor at Runtime
Sign Up to like & getrecommendations! 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