Bytecode verification on Java smart cards Xavier Leroy

First Page		Document Content
Date: 2002-02-09 09:32:02 Central processing unit Cross-platform software Java virtual machine Assembly languages Java Card Instruction set Stack Java Subroutine Computing Software engineering Computer programming		Bytecode verification on Java smart cards Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Download Document from Source Website File Size: 342,90 KB Share Document on Facebook

	Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 , and Jan Verschuren1 ? 1 Netherlands National Communication Security Agency (NLNCSA) DocID: 1xV0o - View Document
	Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 and Jan Verschuren1 1 Netherlands National Communication Security Agency (NLNCSA) DocID: 1xUSb - View Document
	A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304 DocID: 1xUOd - View Document
	Demand-Driven Context-Sensitive Alias Analysis for Java Dacong Yan Guoqing Xu Atanas Rountev DocID: 1xUMO - View Document
	Seuss for Java Language Reference Rajeev Joshi 1 12 FebruaryAbstract DocID: 1xUzV - View Document