A defensive Java Card virtual machine to thwart fault attacks by microarchitectural support | IEEE Conference Publication | IEEE Xplore