Papers

Search results

    ConferenceTitleAuthor(s)
    CARDIS '02Implementing Group Signature Schemes with Smart CardsSébastien Canard, Marc Girault
    CARDIS '02Smart Cards in Interaction: Towards Trustworthy Digital SignaturesRoger Kilian-Kehr, Joachim Posegga
    CARDIS '02Security Analysis of Smartcard to Card Reader Communications for Biometric Cardholder AuthenticationLuciano Rila, Chris J. Mitchell
    CARDIS '02Secure Method Invocation in JASONRichard Brinkman, Jaap-Henk Hoepman
    CARDIS '02Provably Secure Chipcard Personalization, or, How to Fool Malicious InsidersHelena Handschuh, David Naccache, Pascal Paillier, Christophe Tymen
    CARDIS '02Automatic Code Recognition for Smartcards Using a Kohonen Neural NetworkJean-Jacques Quisquater, David Samyde
    CARDIS '02Breaking the Liardet-Smart Randomized Exponentiation AlgorithmColin D. Walter
    CARDIS '02A Protected Division AlgorithmMarc Joye, Karine Villegas
    CARDIS '02A Java Reference Model of Transacted Memory for Smart CardsErik Poll, Pieter Hartel, Eduard de Jong
    CARDIS '02Model Checking of Multi-Applet JavaCard ApplicationsGennady Chugunov, Lars-Åke Fredlund, Dilian Gurov
    CARDIS '02Secure Object Flow Analysis for Java CardMarc Eluard, Thomas Jensen
    CARDIS '02Extending Tamper-Proof Hardware Security to Untrusted Execution Environments
    CARDIS '02MICROCAST: Smart Card Based (Micro)Pay-per-View for Multicast ServicesJosep Domingo-Ferrer, Antoni Martínez-Ballesté, Francesc Sebé
    CARDIS '02On the Implementation of the Advanced Encryption Standard on a Public-key Crypto-CoprocessorAntonio Valverde Garcia, Jean-Pierre Seifert