Nils Maltesson David Naccache Elena Trichina Christophe Tymen Applet Verification Strategiesfor RAM-Constrained Devices. 118-137 2002 conf/icisc/2002 ICISC http://link.springer.de/link/service/series/0558/bibs/2587/25870118.htm db/conf/icisc/icisc2002.html#MaltessonNTT02