Static Program Analysis for Java Card Applets. - Vasilios Almaliotis; Alexandros Loizidis; Panagiotis Katsaros; Panagiotis Louridas; Diomidis Spinellis (CARDIS, 2008)