11 search results - page 3 / 3 » A Practical Approach to Word Level Model Checking of Industr... |
ASPLOS
2004
ACM
13 years 10 months ago
2004
ACM
+ XOM-based secure processor has recently been introduced as a mechanism to provide copy and tamper resistant execution. XOM provides support for encryption/decryption and integrit...