CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security. - Rajeev Goré; Lan Duy Nguyen (Java Card Workshop, 2000)