Smart Card Research and Advanced Applications

Smart Card Applications.- Design, Installation and Execution of a Security Agent for Mobile Stations.- Towards a Secure and Practical Multifunctional Smart Card.- Implementing Cryptography on TFT Technology for Secure Display Applications.- A Smart Card-Based Mental Poker System.- A Smart Card Solution for Access Control and Trust Management for Nomadic Users.- Smart Cards and Residential Gateways: Improving OSGi Services with Java Cards.- Zero Footprint Secure Internet Authentication Using Network Smart Card.- An Optimistic NBAC-Based Fair Exchange Method for Arbitrary Items.- Side Channel Attacks.- Generic Cryptanalysis of Combined Countermeasures with Randomized BSD Representations.- Amplifying Side-Channel Attacks with Techniques from Block Cipher Cryptanalysis.- Power Analysis to ECC Using Differential Power Between Multiplication and Squaring.- Smart Card Networking.- Designing Smartcards for Emerging Wireless Networks.- Smartcard Firewalls Revisited.- Multi-stage Packet Filtering in Network Smart Cards.- Cryptographic Protocols.- Anonymous Authentication with Optional Shared Anonymity Revocation and Linkability.- SEA: A Scalable Encryption Algorithm for Small Embedded Applications.- Low-Cost Cryptography for Privacy in RFID Systems.- Optimal Use of Montgomery Multiplication on Smart Cards.- Off-Line Group Signatures with Smart Cards.- RFID Security.- Analysis of Power Constraints for Cryptographic Algorithms in Mid-Cost RFID Tags.- Noisy Tags: A Pretty Good Key Exchange Protocol for RFID Tags.- MARP: Mobile Agent for RFID Privacy Protection.- Formal Methods.- Certifying Native Java Card API by Formal Refinement.- A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods.- Automatic Test Generation on a (U)SIM Smart Card.