Formal verification of side channel countermeasures using self-composition - Almeida, José Bacelar (2011)