@INPROCEEDINGS {26938,
author={G. Ramos and C. Caleiro},
doi={},
booktitle={Sessão Especial/Temática “Criptografia e Tópicos Relacionados” no “Encontro Nacional da Sociedade Portuguesa de Matemática},
title={Symbolic Probabilistic Analysis of Side-Channel Information},
year={2016},
month={July},
volume={n.a.},
pages={n.a.-n.a.} 
}