Work

Memory-efficient on-card byte code verification for Java cards