publicações selecionadas artigo de revista Formal verification of side-channel countermeasures using self-composition. Computational Methods in Applied Sciences. 2013
