Implementing a High-Assurance Smart-Card OS. - Paul A. Karger; David C. Toll; Elaine R. Palmer; Suzanne McIntosh; Samuel Weber 001; Jonathan W. Edwards (Financial Cryptography, 2010)