Using formal methods to cultivate trust in Smart Card Operating Systems.

Marjan I. Alberda, Pieter H. Hartel, Eduard K. de Jong Frz

Browse the full CARDIS paper archive.