Sciweavers

CARDIS
2013
Springer
129views Hardware» more  CARDIS 2013»
10 years 8 months ago
Towards the Hardware Accelerated Defensive Virtual Machine - Type and Bound Protection
Abstract. Currently, security checks on Java Card applets are performed by a static verification process before executing an applet. A verified and later unmodified applet is no...
Michael Lackner, Reinhard Berlach, Johannes Loinig...