Thread View: tw.bbs.comp.security
1 messages
1 total messages
Started by Marc Dacier
Fri, 07 Aug 1998 00:00
Call For Registration: CARDIS'98
Author: Marc Dacier
Date: Fri, 07 Aug 1998 00:00
Date: Fri, 07 Aug 1998 00:00
272 lines
11206 bytes
11206 bytes
Call For Registration - CARDIS '98
The Research Conference about Smart Cards
September 14-16, 1998
Louvain-la-Neuve, Belgium
------------------------------------------------------------------
see http://www.dice.ucl.ac.be/cardis98
for fresh information regarding the preliminary program, call
for sponsorings, call for recent results, the registration forms,
accommodations, maps, etc..
------------------------------------------------------------------
CARDIS '98 will be held in Louvain-la-Neuve, Belgium, on 14-16 September
1998. CARDIS '98 will be held in the same location as RAID '98
(http://www.zurich.ibm.com/~dac/RAID98.html) and ESORICS'98
(http://www.dice.ucl.ac.be/esorics98), at the same time as the former
and just prior to the latter. A registration discount is available to
those attending both the ESORICS conference and the CARDIS workshop.
Registration is now open, and will continue until 21 August 1998. Late
registration will continue until 4 September 1998, but only on a
space-available basis, and will include a penalty of 2000 BEF. If you
need more information regarding registration or accommodations, please
take contact with Catherine Rouyer
E-mail: Rouyer@tele.ucl.ac.be
CARDIS Secretariat
UCL/TELE (Mrs. Catherine Rouyer)
Place du Levant, 2
B-1348 Louvain-la-Neuve
Belgium
------------------------------------------------------------------
--- html version at http://www.dice.ucl.ac.be/crypto/cardis98 ----
Preliminary Program of CARDIS '98
Monday September 14, 1998
10:30-12:00 Coffee service and participant check-in
Meeting rooms: Auditoires Croix du Sud
Parking P11.
12:00-13:00 Lunch at the restaurant "Le Galil�e" near the meeting
(self-service, student style)
Opening Session:
13:20-13:30 Vincent Cordonnier (R2DP, Lille, France)
Session 1: Electronic Money and Commerce
Chair:
* Memory Efficient Divisible Cash
Eli Biham and Amichai Shulman (Technion, Israel)
* An Operational Model of QuickPay
Pieter H. Hartel (Univ. of Southampton), Jake Hill and
Matt Sims (BT Labs, UK)
13:30-15:10
* Interoperable and Untraceable Debit-Tokens for
Electronic Fee Collection
Cristian Radu, Frederic Klopfert and Jan De Meester
(Integri, Belgium)
* The Banksys Signature Transport (BST)
Michel Dawirs and Joan Daemen (Banksys, Belgium)
15:10-15:30 Break - Beverages
Session 2: The Java Card I
Chair:
* The OpenCard Framework
Reto Hermann, Dick Huseman and Peter Trommler (IBM Labs,
Switserland)
15:30-16:30 * Smart Card - From Secure Tokens to Intelligent Adjuncts
Boris Balacheff, Bruno Van Wilder and David Chan (HP
Labs, UK)
* Formal Proof of Smart Card Applets Correctness
Jean-Louis Lanet and Antoine Requet (Gemplus, France)
16:30-16:50 Break - Refreshments
Session 3: The Java Card II and Panel
Chair:
* Smart Card Payment over Internet with Privacy
Protection
Pui-Nang Chan, Samuel T. Chanson, Ricci Ieong and James
Pang (Hong Kong Univ., China)
* Developing Smart Card Based Applications Using Java
16:50-18:15 Cards
Jean-Jacques Vandewalle and Eric V�tillard (Gemplus,
France)
* The Performance of Modern Block Ciphers in Java
R�diger Weis and Stefan Lucks (Univ. of Mannheim,
Germany)
* Panel about the Future of the Java Card
18:15-19:30 Transfers to and from the hotels
19:30 Banquet at the Ch�teau de Limelette
22:00 Transfers to the hotels
Tuesday September 15, 1998
8:00-8:50 Transfers from the hotels and coffee service
Session 4: Attacks and Dealing with Specific Threats
Chair:
* Pirate Card Rejection
David Goldschlag and David Kravitz (Divx, USA)
* Secure Authentication with Multiple Parallel Keys
John Kelsey (Counterpane, USA), Jean-Jacques Quisquater
(UCL, Belgium) and Bruce Schneier (Counterpane, USA)
8:50-10:20 * Relaxing Tamper-Resistance Requirements for Smart-Cards
by using (Auto-) Proxy Signature
Marc Girault (France T�l�com, France)
* A Practical Implementation of the Timing Attack
Jean-Fran�ois Dhem (Belgacom), Fran�ois Koeune,
Philippe-Alexandre Leroux (UCL), Patrick Mestr�
(Banksys), Jean-Jacques Quisquater and Jean-Louis Willems
(UCL, Belgium)
10:20-10:40 Break - Coffee service
Session 5: Authentication
Chair:
* Techniques for Low Cost Authentication and Message
Authentication
Henri Gilbert (France T�l�com, France)
10:40-12:00 * Enhancing SESAME with Smart Cards
Mark Looi, Paul Ashley, Loo Tang Seet and Richard Au
(Queensland Univ., Australia)
* How to Say "YES" with Smart Cards
Yair Frankel and Moti Yung (CertCo, USA)
12:00-13:30 Lunch at the restaurant "La Jardini�re" (buffet style), near
the meeting:
Session 6: Cryptography and Applications
Chair:
* An Efficient Verifiable Encryption Scheme for Encryption
of Discrete Logarithms
Feng Bao (Kent Ridge Digital Labs, Singapore)
* Efficient Smart-Card Based Anonymous Fingerprinting
Josep Domingo-Ferrer and Jordi Herrera-Joancomarti
(Univ. Rovira i Virgili, Spain)
13:30-14:40
* Implementation of a Provably Secure, Smartcard-Based Key
Distribution Protocol
Rob Jerdonek (Arcot Systems), Peter Honeyman, Kevin
Cofman, Jim Rees (Univ. of Michigan) and Kip Wheeler
(Personal Cipher Card Corp., USA)
* The Block Cipher BKSQ
Joan Daemen (Banksys) and Vincent Rijmen (KULeuven,
Belgium)
14:40-15:00 Break - Beverages
Session 7: AES Panel
Chair:
* Introduction
* Serpents and Smartcards
Ross Anderson (Cambridge Univ., UK) , Eli Biham
(Technion, Israel) and Lars Knudsen (Univ. of Bergen,
Norway)
* Decorrelated Fast Cipher: an AES Candidate Well Suited
15:00-16:30 for Low Cost Smart Card Applications
Guillaume Poupard and Serge Vaudenay (ENS, France)
* Twofish: Smart Card Implementations and Performance
Bruce Schneier, John Kelsey (Counterpane), Doug Whiting
(Hi/fn), David Wagner (UCB), Chris Hall, Niels Ferguson
(Counterpane, USA)
* Open to Other Presentations
* Discussions
16:30-16:50 Break - Refreshments
Session 8: Recent Results
16:50-18:00 Chair:
18:10 Reception
19:30 Transfers to the hotels
Wednesday September 16, 1998
8:00-8:40 Transfers from the hotels and coffee service
Session 9: Architectures and Designs
Chair:
* Secure Log File Download Mechanisms for Smart Cards
Constantinos Markantonakis (Univ. of London, UK)
* The Vault, an Architecture for Smartcards to Gain
Infinite Memory
Patrick Biget (Gemplus, France)
8:40-10:20
* A Data Model Driven Model for Designing Applications with
Smart Cards
William Caelli (Queensland Univ., Australia), Vincent
Cordonnier (Univ. of Lille, France) and Anthony Watson
(Edith Cowan Univ., Australia)
* Secure Personalization Using Proxy Cryptography
Pierre Girard (Gemplus, France)
10:20-10:40 Break - Coffee service
Session 10: Efficient Implementations I
Chair:
* Recent Results on Modular Multiplications for Smart
Cards
Jean-Fran�ois Dhem (Belgacom, Belgium)
10:40-11:20
* RSA Signature Algorithm for Microcontroller
Implementation
Guopei Qiao and Kwok-Yan Lam (Univ. of Singapore,
Singapore)
Session 11: Efficient Implementations II and Panel
Chair:
* Introduction
* Implementation of Elliptic Curves Cryptosystems for
Smart Cards
Th�r�se Boogaerts (UCL, Belgium)
* Efficient Ways to Implement Elliptic Curve
Exponentiation on a Smart Card
Alain Durand (Oscar D, France)
11:20-12:50
* Can Comp128, the GSM A3/A8 Authentication Algorithm be
Repaired?
Helena Handschuh and Pascal Paillier (Gemplus and ENST,
France)
* Smart Card Cryptoprocessors for Public Key Cryptography
Helena Handschuh and Pascal Paillier (Gemplus and ENST,
France)
* Discussions
12:50 Closing Remarks and Rendez-Vous to CARDIS 2000
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads