Gore, RajeevNguyen, Phuong2015-12-10354042167Xhttp://hdl.handle.net/1885/66160CardKt: Automated multi-modal deduction on Java cards for multi-application security20012015-12-10