A Defensive Virtual Machine Layer to Counteract Fault Attacks on Java Cards

摘要: The objective of Java Cards is to protect security-critical code and data against a hostile environment. Adversaries perform fault attacks on these cards change the control flow Card Virtual Machine. These confuse type system, jump forbidden or remove run-time security checks. This work introduces novel layer for defensive Machine counteract attacks. advantages this from design perspectives virtual machine are demonstrated. In case study, we demonstrate three implementations abstraction running prototype. Two use software checks that optimized either memory consumption execution speed. third implementation accelerates verification process by using dedicated hardware protection units Card.