SAMASC - Security Analysis for Multi-Applet Smart Cards