scientific article; zbMATH DE number 1980953

MaRDI QIDQ4428335zbMATH OpenFDO

Authors David Naccache, Alexei Tchoulkine, Christophe Tymen, Elena Trichina

Publication date 15 September 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2513/25130109.htm

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• scientific article; zbMATH DE number 1950608
• scientific article; zbMATH DE number 2030038
• Bytecode verification on Java smart cards
• A type system for the Java bytecode language and verifier
• Java bytecode verification: Algorithms and formalizations

Cited in

(3)

• Memory-tight reductions
• scientific article; zbMATH DE number 1950608 (Why is no real title available?)
• On the runtime complexity of type-directed unboxing

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4428335)