CardS4: Modal Theorem Proving on Java Smartcards. - Rajeev Goré; Phuong Thê Nguyên (E-smart, 2001)