Helena Handschuh David Naccache Pascal Paillier Christophe Tymen Provably Secure Chipcard Personalization, or, How to Fool Malicious Insiders. 2002 conf/cardis/2002 CARDIS http://www.usenix.org/publications/library/proceedings/cardis02/handschuh.html db/conf/cardis/cardis2002.html#HandschuhNPT02