SawjaCard: A Static Analysis Tool for Certifying Java Card Applications. - Frédéric Besson; Thomas P. Jensen; Pierre Vittet (SAS, 2014)