Maltesson, Nils; Naccache, David; Trichina, Elena; Tymen, Christophe Applet verification strategies for RAM-constrained devices. (English) Zbl 1028.68524 Lee, Pil Joong (ed.) et al., Information security and cryptology - ICISC 2002. 5th international conference, Seoul, Korea, November 28-29, 2002. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2587, 118-137 (2003). MSC: 68P25 PDFBibTeX XMLCite \textit{N. Maltesson} et al., Lect. Notes Comput. Sci. 2587, 118--137 (2003; Zbl 1028.68524) Full Text: Link
Naccache, David; Tchoulkine, Alexei; Tymen, Christophe; Trichina, Elena Reducing the memory complexity of type-inference algorithms. (English) Zbl 1023.68563 Deng, Robert (ed.) et al., Information and communications security. 4th international conference, ICICS 2002, Singapore, December 9-12, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2513, 109-121 (2002). MSC: 68P25 94A60 PDFBibTeX XMLCite \textit{D. Naccache} et al., Lect. Notes Comput. Sci. 2513, 109--121 (2002; Zbl 1023.68563) Full Text: Link