Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Christophe Giraud 0001, Hugues Thiebeauld |
A Survey on Fault Attacks. |
CARDIS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Jacques Quisquater, David Samyde |
Automatic Code Recognition for Smartcards Using a Kohonen Neural Network. |
CARDIS |
2002 |
DBLP BibTeX RDF |
|
1 | Jean-Jacques Quisquater |
Awards. |
CARDIS |
2002 |
DBLP BibTeX RDF |
|
1 | Roger Kilian-Kehr, Joachim Posegga |
Smart Cards in Interaction: Towards Trustworthy Digital Signatures. |
CARDIS |
2002 |
DBLP BibTeX RDF |
|
1 | Sergio Loureiro, Laurent Bussard, Yves Roudier |
Extending Tamper-Proof Hardware Security to Untrusted Execution Environments. |
CARDIS |
2002 |
DBLP BibTeX RDF |
|
1 | Ulf Carlsen |
The QX Smart Card Operating System. |
CARDIS |
2002 |
DBLP BibTeX RDF |
|
1 | Antonio Valverde Garcia, Jean-Pierre Seifert |
On the Implementation of the Advanced Encryption Standard on a Public-key Crypto-Coprocessor. |
CARDIS |
2002 |
DBLP BibTeX RDF |
|
1 | Luciano Rila, Chris J. Mitchell |
Security Analysis of Smartcard to Card Reader Communications for Biometric Cardholder Authentication. |
CARDIS |
2002 |
DBLP BibTeX RDF |
|
1 | Peter Honeyman |
Welcome to CARDIS 02. |
CARDIS |
2002 |
DBLP BibTeX RDF |
|
1 | Vincent Cordonnier |
From the Smart Card to the Smart Assistant. |
CARDIS |
2002 |
DBLP BibTeX RDF |
|
1 | Richard Brinkman, Jaap-Henk Hoepman |
Secure Method Invocation in JASON. |
CARDIS |
2002 |
DBLP BibTeX RDF |
|
1 | Erik Poll, Pieter H. Hartel, Eduard de Jong |
A Java Reference Model of Transacted Memory for Smart Cards. |
CARDIS |
2002 |
DBLP BibTeX RDF |
|
1 | Gennady Chugunov, Lars-Åke Fredlund, Dilian Gurov |
Model Checking of Multi-Applet JavaCard Applications. |
CARDIS |
2002 |
DBLP BibTeX RDF |
|
1 | Sébastien Canard, Marc Girault |
Implementing Group Signature Schemes with Smart Cards. |
CARDIS |
2002 |
DBLP BibTeX RDF |
|
1 | Josep Domingo-Ferrer, Antoni Martínez-Ballesté, Francesc Sebé |
MICROCAST: Smart Card Based (Micro)Pay-per-View for Multicast Services. |
CARDIS |
2002 |
DBLP BibTeX RDF |
|
1 | Marc Joye, Karine Villegas |
A Protected Division Algorithm. |
CARDIS |
2002 |
DBLP BibTeX RDF |
|
1 | Peter Honeyman (eds.) |
Proceedings of the Fifth Smart Card Research and Advanced Application Conference, CARDIS '02, November 21-22, 2002, San Jose, CA, USA |
CARDIS |
2002 |
DBLP BibTeX RDF |
|
1 | Pieter H. Hartel |
The State of WG 8.8. |
CARDIS |
2002 |
DBLP BibTeX RDF |
|
1 | David Hwang 0001, Bo-Cheng Lai, Patrick Schaumont, Ingrid Verbauwhede |
A Security Protocol for Biometric Smart Cards. |
CARDIS |
2002 |
DBLP BibTeX RDF |
|
1 | Helena Handschuh, David Naccache, Pascal Paillier, Christophe Tymen |
Provably Secure Chipcard Personalization, or, How to Fool Malicious Insiders. |
CARDIS |
2002 |
DBLP BibTeX RDF |
|
1 | Marc Éluard, Thomas P. Jensen |
Secure Object Flow Analysis for Java Card. |
CARDIS |
2002 |
DBLP BibTeX RDF |
|
1 | Colin D. Walter |
Breaking the Liardet-Smart Randomized Exponentiation Algorithm. |
CARDIS |
2002 |
DBLP BibTeX RDF |
|
1 | Jean-Jacques Quisquater, Bruce Schneier (eds.) |
Smart Card Research and Applications, This International Conference, CARDIS '98, Louvain-la-Neuve, Belgium, September 14-16, 1998, Proceedings |
CARDIS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Boris Balacheff, David Chan, Liqun Chen, Siani Pearson, Graeme Proudler |
Securing Intelligent Adjuncts Using Trusted Computing Platform Technology. |
CARDIS |
2000 |
DBLP BibTeX RDF |
|
1 | Stefan Lucks, Rüdiger Weis |
How to Make DES-based Smartcards fit for the 21-st Century. |
CARDIS |
2000 |
DBLP BibTeX RDF |
|
1 | Daniel Hagimont, Jean-Jacques Vandewalle |
JCCap: Capability-based Access Control for Java Card. |
CARDIS |
2000 |
DBLP BibTeX RDF |
|
1 | Luke O'Connor, Günter Karjoth |
Efficient Downloading and Updating Applications on Portable Devices Using Authentication Trees. |
CARDIS |
2000 |
DBLP BibTeX RDF |
|
1 | Fabrice Boudot |
Partial revelation of certified identity. |
CARDIS |
2000 |
DBLP BibTeX RDF |
|
1 | Jim Rees, Peter Honeyman |
Webcard: a Java Card Web Server. |
CARDIS |
2000 |
DBLP BibTeX RDF |
|
1 | Ton van der Putte, Jeroen Keuning |
Biometrical Fingerprint Recognition: Don't Get Your Fingers Burned. |
CARDIS |
2000 |
DBLP BibTeX RDF |
|
1 | Masayuki Terada, Hiroshi Kuno, Masayuki Hanadate, Ko Fujimura |
Copy Prevention Scheme for Rights Trading Infrastructure. |
CARDIS |
2000 |
DBLP BibTeX RDF |
|
1 | Jason Reid, Mark Looi |
Making Sense of Smart Card Security Certifications. |
CARDIS |
2000 |
DBLP BibTeX RDF |
|
1 | Tim Ebringer, Yuliang Zheng 0001, Peter Thorne |
Parasitic Authentication. |
CARDIS |
2000 |
DBLP BibTeX RDF |
|
1 | Gaël Hachez, François Koeune, Jean-Jacques Quisquater |
Biometrics, Access Control, Smart Cards: A not so Simple Combination. |
CARDIS |
2000 |
DBLP BibTeX RDF |
|
1 | Josep Domingo-Ferrer, David Chan, Anthony Watson (eds.) |
Smart Card Research and Advanced Applications, Proceedings of the Fourth Working Conference on Smart Card Research and Advanced Applications, CARDIS 2000, September 20-22, 2000, Bristol, UK |
CARDIS |
2000 |
DBLP BibTeX RDF |
|
1 | Jordi Castellà-Roca, Josep Domingo-Ferrer, Jordi Herrera-Joancomartí, Jordi Planes |
A Performance Comparison of Java Cards for Micropayment Implementation. |
CARDIS |
2000 |
DBLP BibTeX RDF |
|
1 | Scott B. Guthery, Roger Kehr, Joachim Posegga |
How to Turn a GSM SIM into a Web Server. |
CARDIS |
2000 |
DBLP BibTeX RDF |
|
1 | Pieter H. Hartel |
Formalising Java Safety - An overview. |
CARDIS |
2000 |
DBLP BibTeX RDF |
|
1 | Shouhuai Xu, Moti Yung, Gendu Zhang |
Friendly Observers Ease Off-Line E-Cash. |
CARDIS |
2000 |
DBLP BibTeX RDF |
|
1 | Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson |
Smart Tools for Java Cards. |
CARDIS |
2000 |
DBLP BibTeX RDF |
|
1 | Erik Poll, Joachim van den Berg, Bart Jacobs 0001 |
Specification of the JavaCard API in JML. |
CARDIS |
2000 |
DBLP BibTeX RDF |
|
1 | Marc Girault |
Low-Size Coupons for Low-Cost IC Cards. |
CARDIS |
2000 |
DBLP BibTeX RDF |
|
1 | Tommi Elo, Pekka Nikander |
Decentralized Authorization with ECDSA on a Java Smart Card. |
CARDIS |
2000 |
DBLP BibTeX RDF |
|
1 | Neil James Henderson, Pieter H. Hartel |
Pressure Sequence - A Novel Method of Protecting Smart Cards. |
CARDIS |
2000 |
DBLP BibTeX RDF |
|
1 | Adam D. Woodbury, Daniel V. Bailey, Christof Paar |
Elliptic Curve Cryptography on Smart Cards without Coprocessors. |
CARDIS |
2000 |
DBLP BibTeX RDF |
|
1 | Henri Gilbert |
Techniques for Low Cost Authentication and Message Authentication. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Alain Durand |
Efficient Ways to Implement Elliptic Curve Exponentiation on a Smart Card. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Yair Frankel, Moti Yung |
How to Say "YES" with Smart Cards. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Pieter H. Hartel, Jake Hill, Matt Sims |
An Operational Model of QuickPay - Extended Abstract. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Helena Handschuh, Pascal Paillier |
Smart Card Crypto-Coprocessors for Public-Key Cryptography. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Radu, Frederic Klopfert, Jan De Meester |
Interoperable and Untraceable Debit-Tokens for Electronic Fee Collection. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Boris Balacheff, Bruno Van Wilder, David Chan |
Smartcards - From Security Tokens to Intelligent Adjuncts. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | David M. Goldschlag, David W. Kravitz |
Pirate Card Rejection. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Jacques Vandewalle, Eric Vétillard |
Developing Smart Card-Based Applications Using Java Card. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Biget |
The Vault, an Architecture for Smartcards to Gain Infinite Memory. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Joan Daemen, Vincent Rijmen |
The Block Cipher BKSQ. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Mark Looi, Paul Ashley, Loo Tang Seet, Richard Au, Gary Gaskell, Mark Vandenwauver |
Enhancing SESAMEV4 with Smart Cards. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Guopei Qiao, Kwok-Yan Lam |
RSA Signature Algorithm for Microcontroller Implementation. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | John Kelsey, Bruce Schneier |
Secure Authentication with Multiple Parallel Keys. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | William J. Caelli, Vincent Cordonnier, Anthony Watson |
A Data Driven Model for Designing Applications with Smart Cards. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Girard |
Secure Personalization Using Proxy Cryptography. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jean-François Dhem, François Koeune, Philippe-Alexandre Leroux, Patrick Mestré, Jean-Jacques Quisquater, Jean-Louis Willems |
A Practical Implementation of the Timing Attack. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Josep Domingo-Ferrer, Jordi Herrera-Joancomartí |
Efficient Smart-Card Based Anonymous Fingerprinting. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Weis, Stefan Lucks |
The Performance of Modern Block Ciphers in Java. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Rob Jerdonek, Peter Honeyman, Kevin Coffman, Jim Rees, Kip Wheeler |
Implementation of a Provably Secure, Smartcard-Based Key Distribution Protocol. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Helena Handschuh, Pascal Paillier |
Reducing the Collision Probability of Alleged Comp128. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Ross J. Anderson, Eli Biham, Lars R. Knudsen |
Serpent and Smartcards. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Pui-Nang Chan, Samuel T. Chanson, Ricci S. C. Ieong, James Pang |
Smart Card Payment over Internet with Privacy Protection. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Louis Lanet, Antoine Requet |
Formal Proof of Smart Card Applets Correctness. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Feng Bao 0001 |
An Efficient Verifiable Encryption Scheme for Encryption of Discrete Logarithms. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Reto Hermann, Dirk Husemann, Peter Trommler |
The OpenCard Framework. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Constantinos Markantonakis |
Secure Log File Download Mechanisms for Smart Cards. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Marc Girault |
Relaxing Tamper-Resistance Requirements for Smart Cards by Using (Auto-)Proxy Signatures. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Poupard, Serge Vaudenay |
Decorrelated Fast Cipher: An AES Candidate Well Suited for Low Cost Smart Card Applications. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Michel Dawirs, Joan Daemen |
The Banksys Signature Transport (BST) Protocol. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Didier Donsez, Gilles Grimaud, Sylvain Lecomte |
Recoverable Persistent Memory for SmartCard. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Joan Daemen, Vincent Rijmen |
The Block Cipher Rijndael. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Bruce Schneier, Doug Whiting |
Twofish on Smart Cards. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jean-François Dhem, Jean-Jacques Quisquater |
Recent Results on Modular Multiplications for Smart Cards. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Eli Biham, Amichai Shulman |
User-Defined Divisibility of Ecash and a Practical Implementation. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Marjan I. Alberda, Pieter H. Hartel, Eduard K. de Jong Frz |
Using formal methods to cultivate trust in Smart Card Operating Systems. |
CARDIS |
1996 |
DBLP BibTeX RDF |
|
1 | Hugh Glaser, Pieter H. Hartel, Eduard K. de Jong Frz |
Structuring and Visualising an IC-card Security Standard. |
CARDIS |
1996 |
DBLP BibTeX RDF |
|
1 | Thomas J. Alexandre |
Biometrics on Smartcards: An Approach to Keyboard Behavioral Signature. |
CARDIS |
1996 |
DBLP BibTeX RDF |
|
1 | Henk D. L. Hollmann, Jean-Paul M. G. Linnartz, Jacobus H. van Lint, C. P. M. J. Baggen |
Protection of Software Algorithms Executed on Secure Microprocessors. |
CARDIS |
1996 |
DBLP BibTeX RDF |
|
1 | Yongdae Kim, Sangjin Lee, Choonsik Park |
On the Design of a Stream Cipher and a Hash Function Suitable to Smart Card Applications. |
CARDIS |
1996 |
DBLP BibTeX RDF |
|
1 | Renaud Lecat, Jean-Jacques Quisquater |
Efficient Compression Algorithms for Smart Cards. |
CARDIS |
1996 |
DBLP BibTeX RDF |
|
1 | David Carlier, Sylvain Lecomte, Patrick Trane |
Agent and Smart Card based System for User's Mobility. |
CARDIS |
1996 |
DBLP BibTeX RDF |
|
1 | David Naccache, David M'Raïhi |
Arithmetic co-processors for public-key cryptography: The state of the art. |
CARDIS |
1996 |
DBLP BibTeX RDF |
|
1 | Josep Domingo-Ferrer |
Multi-Application Smart Cards and Encrypted Data Processing. |
CARDIS |
1996 |
DBLP BibTeX RDF |
|
1 | Patrick Biget, Patrick George, Jean-Jacques Vandewalle |
How Smart Cards Can Take Benefits from Object-Oriented Technologies? |
CARDIS |
1996 |
DBLP BibTeX RDF |
|
1 | |
Proceedings of the Second Smart Card Research and Advanced Application Conference, CARDIS 1996, September 18-20, 1996, CWI, Amsterdam, The Netherlands |
CARDIS |
1996 |
DBLP BibTeX RDF |
|
1 | Bruce Schneier, John Kelsey |
Authenticating Outputs of Computer Software Using a Cryptographic Coprocessor. |
CARDIS |
1996 |
DBLP BibTeX RDF |
|
1 | Ronald Ferreira, Ralf Malzahn, Peter Marissen, Jean-Jacques Quisquater, Thomas Wille |
FAME: A 3rd Generation Coprocessor for Optimising Public Key Cryptosystems in Smart Card Applications. |
CARDIS |
1996 |
DBLP BibTeX RDF |
|
1 | Pieter H. Hartel, Jean-Jacques Quisquater |
Introduction to CARDIS 1996. |
CARDIS |
1996 |
DBLP BibTeX RDF |
|