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

	JVM Backend and Optimizer in Scala 2.12 Lukas Rytz, Scala Team @ Typesafe Scala 2.12 on one Slide • DocID: 1rt1j - View Document
	aicas technology brief New Standards for Software in Aviation Realtime Java Technology in Avionics Systems DocID: 1rk18 - View Document
	Computer Communications–4059 Contents lists available at ScienceDirect Computer Communications journal homepage: www.elsevier.com/locate/comcom DocID: 1rbCM - View Document
	Language-based security for mobile code with applications to smart cards Xavier Leroy INRIA Rocquencourt & DocID: 1r89z - View Document
	DIVILAR: Diversifying Intermediate Language for Anti-Repackaging on Android Platform Wu Zhou ∗ , Zhi Wang † , Yajin Zhou ∗ , Xuxian Jiang ∗ North Carolina State University † Florida State University wzhou2@ncsu DocID: 1qSge - View Document