@inproceedings{92421,
  author = {Sharad Malik and Pramod Subramanyan},
  title = {Invited: specification and modeling for systems-on-chip security verification},
  year = {2016},
  journal = {Design Automation Conference (DAC), 2016 53nd ACM/EDAC/IEEE},
  pages = {1{\textendash}6},
  publisher = {IEEE},
  language = {eng},
}