Applet Verification Strategiesfor RAM-Constrained Devices. - Nils Maltesson; David Naccache; Elena Trichina; Christophe Tymen (ICISC, 2002)