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; Pointcheval, David; Tymen, Christophe Monotone signatures. (English) Zbl 1051.94517 Syverson, Paul F. (ed.), Financial cryptography. 5th international conference, FC 2001, Grand Cayman, British West Indies, February 19–22, 2001. Proceedings. Berlin: Springer (ISBN 3-540-44079-8). Lect. Notes Comput. Sci. 2339, 305-318 (2002). MSC: 94A62 94A60 PDFBibTeX XMLCite \textit{D. Naccache} et al., Lect. Notes Comput. Sci. 2339, 305--318 (2002; Zbl 1051.94517) 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