Algebraic Power Analysis by Abstract Interpretation Isabella Mastroeni OriginalPaper Pages: 297 - 345