A Defensive Virtual Machine Layer to Counteract Fault Attacks on Java Cards - Information Security Theory and Practice: Security of Mobile and Cyber-Physical Systems Access content directly
Conference Papers Year : 2013

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

Michael Lackner
  • Function : Author
  • PersonId : 974301
Reinhard Berlach
  • Function : Author
  • PersonId : 1003793
Wolfgang Raschke
  • Function : Author
  • PersonId : 1003794
Reinhold Weiss
  • Function : Author
  • PersonId : 1003795
Christian Steger
  • Function : Author
  • PersonId : 1003796

Abstract

The objective of Java Cards is to protect security-critical code and data against a hostile environment. Adversaries perform fault attacks on these cards to change the control and data flow of the Java Card Virtual Machine. These attacks confuse the Java type system, jump to forbidden code or remove run-time security checks. This work introduces a novel security layer for a defensive Java Card Virtual Machine to counteract fault attacks. The advantages of this layer from the security and design perspectives of the virtual machine are demonstrated. In a case study, we demonstrate three implementations of the abstraction layer running on a Java Card prototype. Two implementations use software checks that are optimized for either memory consumption or execution speed. The third implementation accelerates the run-time verification process by using the dedicated hardware protection units of the Java Card.
Fichier principal
Vignette du fichier
978-3-642-38530-8_6_Chapter.pdf (416.28 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01485935 , version 1 (09-03-2017)

Licence

Attribution

Identifiers

Cite

Michael Lackner, Reinhard Berlach, Wolfgang Raschke, Reinhold Weiss, Christian Steger. A Defensive Virtual Machine Layer to Counteract Fault Attacks on Java Cards. 7th International Workshop on Information Security THeory and Practice (WISTP), May 2013, Heraklion, Greece. pp.82-97, ⟨10.1007/978-3-642-38530-8_6⟩. ⟨hal-01485935⟩
120 View
112 Download

Altmetric

Share

Gmail Facebook X LinkedIn More