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
	Malicious Code on Java Card Smartcards: Attacks and Countermeasures Wojciech Mostowski and Erik Poll Digital Security (DS) group, Department of Computing Science Radboud University Nijmegen, The Netherlands {woj,erikpoll DocID: 1ved8 - View Document
	OCLUML 2003 Preliminary Version Specifying JAVA CARD API in OCL Daniel Larsson 1 Wojciech Mostowski 2 DocID: 1uMJu - View Document
	Testing the Java Card Applet Firewall Wojciech Mostowski and Erik Poll Security of Systems (SoS) group Department of Computing Science Radboud University Nijmegen The Netherlands DocID: 1umx8 - View Document