Drupal-Bibcite5<style face="normal" font="default" size="100%">Verifying Security Properties in Modern SoCs Using Instruction-Level Abstractions</style>