A defensive Java Card virtual machine to thwart fault attacks by microarchitectural support. - Michael Lackner; Reinhard Berlach; Michael Hraschan; Reinhold Weiss; Christian Steger (CRiSIS, 2013)

A Fault Attack Emulation Environment to Evaluate Java Card Virtual-Machine Security. - Michael Lackner; Reinhard Berlach; Michael Hraschan; Reinhold Weiss; Christian Steger (DSD, 2014)