@inbook{92431,
  author = {Pramod Subramanyan and Sharad Malik},
  title = {Verifying Security Properties in Modern SoCs Using Instruction-Level Abstractions},
  year = {2017},
  journal = {Hardware IP Security and Trust},
  pages = {287{\textendash}323},
  publisher = {Springer International Publishing},
  language = {eng},
}