publicações selecionadas artigo académico Formal verification of side-channel countermeasures using self-composition. International Journal on Software Tools for Technology Transfer. 2013
