1. 3
  1.  

  2. 1

    Something like this modified with information-flow type system (paper/pdf) could be useful for finding side channels in processor designs.