Slide 1Bytecode Verification on Java Smart Cards Xavier Leroy Presentation(day 1) -Nithya Slide 2 Overview JavaCard Architecture Sandbox model Suns Bytecode verification…