Helena Handschuh, David Naccache, Pascal Paillier, Christophe Tymen. Provably Secure Chipcard Personalization, or, How to Fool Malicious Insiders. In Proceedings of the Fifth Smart Card Research and Advanced Application Conference, CARDIS 02, November 21-22, 2002, San Jose, CA, USA. USENIX, 2002. [doi]
Abstract is missing.