Handling contract violations in Java Card using explict exception channels | IEEE Conference Publication | IEEE Xplore