CARDIS C

26 papers

YearTitle / Authors
2006A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods.
Alexandre Courbot, Mariela Pavlova, Gilles Grimaud, Jean-Jacques Vandewalle
2006A Smart Card Solution for Access Control and Trust Management for Nomadic Users.
Daniel Díaz Sánchez, Andrés Marín López, Florina Almenárez Mendoza
2006A Smart Card-Based Mental Poker System.
Jordi Castellà-Roca, Josep Domingo-Ferrer, Francesc Sebé
2006Amplifying Side-Channel Attacks with Techniques from Block Cipher Cryptanalysis.
Raphael C.-W. Phan, Sung-Ming Yen
2006An Optimistic NBAC-Based Fair Exchange Method for Arbitrary Items.
Masayuki Terada, Kensaku Mori, Sadayuki Hongo
2006Analysis of Power Constraints for Cryptographic Algorithms in Mid-Cost RFID Tags.
Tobias Lohmann, Matthias Schneider, Christoph Ruland
2006Anonymous Authentication with Optional Shared Anonymity Revocation and Linkability.
Martin Schaffer, Peter Schartner
2006Automatic Test Generation on a (U)SIM Smart Card.
Céline Bigot, Alain Faivre, Christophe Gaston, Julien Simon
2006Certifying Native Java API by Formal Refinement.
Quang Huy Nguyen, Boutheina Chetali
2006Design, Installation and Execution of a Security Agent for Mobile Stations.
William G. Sirett, John A. MacDonald, Keith Mayes, Constantinos Markantonakis
2006Designing Smartcards for Emerging Wireless Networks.
Pascal Urien, Mesmin Dandjinou
2006Generic Cryptanalysis of Combined Countermeasures with Randomized BSD Representations.
Tae Hyun Kim, Dong-Guk Han, Katsuyuki Okeya, Jongin Lim
2006Implementing Cryptography on TFT Technology for Secure Display Applications.
Petros Oikonomakos, Jacques J. A. Fournier, Simon W. Moore
2006Low-Cost Cryptography for Privacy in RFID Systems.
Benoît Calmels, Sébastien Canard, Marc Girault, Hervé Sibert
2006MARP: Mobile Agent for RFID Privacy Protection.
Soo-Cheol Kim, Sang-Soo Yeo, Sung Kwon Kim
2006Multi-stage Packet Filtering in Network Smart Cards.
HongQian Karen Lu
2006Noisy Tags: A Pretty Good Key Exchange Protocol for RFID Tags.
Claude Castelluccia, Gildas Avoine
2006Off-Line Group Signatures with Smart Cards.
Jean-Bernard Fischer, Emmanuel Prouff
2006Optimal Use of Montgomery Multiplication on Smart Cards.
Arnaud Boscher, Robert Naciri
2006Power Analysis to ECC Using Differential Power Between Multiplication and Squaring.
Toru Akishita, Tsuyoshi Takagi
2006SEA: A Scalable Encryption Algorithm for Small Embedded Applications.
François-Xavier Standaert, Gilles Piret, Neil Gershenfeld, Jean-Jacques Quisquater
2006Smart Card Research and Advanced Applications, 7th IFIP WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona, Spain, April 19-21, 2006, Proceedings
Josep Domingo-Ferrer, Joachim Posegga, Daniel Schreckling
2006Smart Cards and Residential Gateways: Improving OSGi Services with Java Cards.
Juan Jesús Sánchez Sánchez, Daniel Díaz Sánchez, José Alberto Vigo Segura, Natividad Martínez Madrid, Ralf Seepold
2006Smartcard Firewalls Revisited.
Henrich Christopher Pöhls, Joachim Posegga
2006Towards a Secure and Practical Multifunctional Smart Card.
Idir Bakdi
2006Zero Footprint Secure Internet Authentication Using Network Smart Card.
Asad M. Ali