|
|
|
Programme
A PDF version of the programme is available as well, you find it here
Monday, July 4
| 17:30 - 18:30 |
Registration (Entrance Hall ESAT)
|
| 18:00 - 19:30 |
Welcome Reception (Room 00.62)
|
Tuesday, July 5
| 8:30 - 8:45 |
Registration (Room 00.54 / Auditorium A)
|
| 8:45 - 9:00 |
Introduction (Room 00.54 / Auditorium A)
|
| 9:00 - 10:00 |
Session on Pairing-Based Cryptography: Session Chair: Gregory Neven (Room 00.54 / Auditorium A)
- Emeline Hufschmitt, David Lefranc, Herve Sibert: A Zero-Knowledge Identification Scheme in Gap Diffie-Hellman Groups
- D. Nali, C. Adams, A. Miri: Hierarchical Identity-Based Signcryption with Public Ciphertext Authenticity and Forward Security
|
| 10:00 - 10:30 |
Coffee Break
|
| 10:30 - 11:00 |
Short Talks
- Track A.1: Session Chair: Elke De Mulder (Room 01.57)
- Takaaki Fujita, Kunihiro Okamoto, Maki Yoshida, Toru Fujiwara: A Watermark Detection Scheme Ensuring the False Positive Error Probability
- Santa Agreste, Guido Andaloro, Daniela Prestipino, Luigia Puccio: Combination of cryptographic and watermark schemes for copyright protection of digital images
- Track B.1: Session Chair: Joe Lano (Room 01.60)
- Paz Morillo, Carla Rafols: A new Certificate-Based Encryption Chosen Ciphertext Secure
- Jens-Matthias Bohli, Jorn Muller-Quade, Stefan Rohrich: On Group Key Agreement with Cheater Identification
|
| 11:00 - 11:10 |
Short Break
|
| 11:10 - 11:40 |
Short Talks
- Track A.2: Session Chair: Elke De Mulder (Room 01.57)
- Audrey Montreuil, Jacques Patarin: Computation of the "AND" with Cards
- Heiko Stamer: Efficient electronic gambling: An extended implementation of Schindelhauer's Toolbox for Mental Card Games
- Track B.2: Session Chair: Joe Lano (Room 01.60)
- Takeshi Gomi, Kazukuni Kobara, Toshihisa Nakano, Masao Nonaka, Hideki Imai: Off-line Clone Discovery Using Portable Media
- Masanori Yoshida, Rie Shigetomi, Hideki Imai: Revocation of anonymous credentials by short information
|
| 11:40 - 11:50 |
Short Break
|
| 11:50 - 12:20 |
Short Talks
- Track A.3: Session Chair: Charlotte Vikkelsoe (Room 01.57)
- Adrian Leung, Chris Mitchell: Towards Secure Zero Configuration
- Qing Zhang: A User-centric solution to realise m-payment
- Track B.3: Session Chair: Ellen Jochemsz (Room 01.60)
- Rie Shigetomi, Haruhiro Yoshimoto, Hideki Imai: How visual demonstrations help showing cryptographic algorithms to general audience
- Christopher Wolf: Multivariate Public Key Schemes
|
|
| 12:20 - 14:00 |
Lunch
|
|
| 14:00 - 15:30 |
Session on Theory: Session Chair: Svetla Nikova (Room 00.54 / Auditorium A)
- Frederik Armknecht: Algebraic Attacks and Annihilators
- SeongHan Shin, Kazukuni Kobara, Hideki Imai: Password-based Information Retrieval with Privacy
- Marie Virat: Around ElGamal encryption cryptosystem on a Weierstrass cubic on Fq[ε]
|
| 15:30 - 16:00 |
Coffee Break
|
| 16:00 - 17:30 |
Session on Hardware-Oriented Cryptography: Session Chair: Lejla Batina (Room 00.54 / Auditorium A)
- Pim Tulys: Key Extraction from Noisy Data: Physical Unclonable Functions
- Laurent Larger, Vladimir Udaltsov, Stephane Poinsot, Pierre-Ambroise Lacourt, Nicolas Gastaud: High speed chaotic carrier encrypting at the physical layer
- Norbert Pramstaller, Christian Rechberger, Vincent Rijmen: An Efficient FPGA Implementation of Whirlpool
|
| 17:30 - ... |
Rump Session (Session Chair: Stefan Lucks): >announcements, calls for papers, very recent results, ... (Room 00.54 / Auditorium A)
|
Wednesday, July 6
| 9:00 - 10:30 |
Session on Mobile Security and Key Storage: Session Chair: Po-Wah Yau (Room 00.54 / Auditorium A)
- Adil Alsaid, Chris Mitchell: A scanning tool for PC root public key stores
- Anish Mohammed, Chris Mitchel: Privacy aspects of wireless protocols
- Anand S. Gajparia: On Location-based services and the UCONABC Model
|
| 10:30 - 11:00 |
Coffee Break
|
| 11:00 - 11:30 |
Short Talks
- Track A.4: Session Chair: Frederik Armknecht (Room 01.57)
- Andrey Sidorenko, Berry Schoenmakers:State Compromise Attacks on Pseudorandom Generators
- Jaechul Sung, Jongsung Kim, Changhoon Lee, Seokhie Hong: Related-Cipher Attacks on Block Ciphers with Flexible Number of Rounds
- Track B.4: (Room 01.60)
- Satoshi Nakayama, Maki Yoshida, Shingo Okamura, Akira Fujiwara, Toru Fujiwara: An Efficient Private and Consistent Data Retrieval Protocol
- Abdelilah Tabet, SeongHan Shin, Kazukuni Kobara, Hideki Imai: Formal Verification of Password-based Protocol by FDR Model Checking
|
| 11:30 - 11:40 |
Short Break
|
| 11:40 - 12:10 |
Short Talks
- Track A.5: Session Chair: Frederik Armknecht (Room 01.57)
- Marion Videau: Symmetric Boolean functions with high nonlinearity
- An Braeken: Error-Set Codes, Secret Sharing Schemes and Matroids
- Track B.5: (Room 01.60)
- Kalid Elmufti, Chris Mitchell: GSM for mobile SSO to protect user privacy
- Zinaida Benenson, Felix C. Freiling, Dogan Kesdogan: Secure Multi-Party Computation with Security Modules
|
|
| 12:10 - 14:00 |
Lunch
|
|
| 14:00 - ... |
Social Programme
- 14:00 - 19:00: details to be announced
- 19:30 - ...: Workshop Dinner in the Troubadour
|
Thursday, July 7
| 9:00 - 10:00 |
Session on Cryptanalysis: Session Chair: Nicolas Sendrier (Room 00.54 / Auditorium A)
- Cedric Lauradoux: Collision attacks on processors with cache and countermeasures
- Marine Minier: An integral cryptanalysis against a five rounds version of FOX
|
| 10:00 - 10:30 |
Coffee Break
|
| 10:30 - 11:00 |
Short Talks
- Track A.6: (Room 01.57)
- Borislav Stoyanov: The 2-adic Summation-Shrinking Generator
- Endre Bangerter, Andy Rupp, Ahmad-Reza Sadeghi: Simplified Hardness Proofs in the Generic Group Model
- Track B.6: Session Chair: Ellen Jochemsz (Room 01.60)
- Eabhnat Ni Fhloinn, Michael Purser: Applications of Partial Hiding in RSA}
- Julia C Bate and SeonHo Shin: Group Key Distribution Patterns
|
| 11:00 - 11:10 |
Short Break
|
| 11:10 - 11:40 |
Short Talks
- Track A.7: Session Chair: Krystian Matusiewicz (Room 01.57)
- Qiang Tang, Chris Mitchell: Security vulnerabilities of a password-based key establishment protocol
- Till Stegers: Faugere's F5 Algorithm Revisited
- Track B.7: (Room 01.60)
- Simos Xenitellis: A list of open-source PKI implementations
- Goran Pantelic, Slobodan Bojanic: Managing Security Levels in Smart Card Based Certification
|
| 11:40 - 11:50 |
Short Break
|
| 11:50 - 12:20 |
Short Talks
- Track A.8: Session Chair: Krystian Matusiewicz (Room 01.57)
- Su-Jeong Choi: Cryptanalysis of Homomorphic Public-Key Cryptosystem
- Alexandre Ruiz, Jorge Villar: An Homomorphic Scheme for Publicly Verifiable Secret Sharing
- Track B.8: (Room 01.60)
- Shenglan Hu, Chris Mitchell: Using Trusted Computing for IP address autoconfiguration in MANETs
- Jan Camenisch, Markus Rohe, Ahmad-Reza Sadeghi: Sokrates - A Compiler Framework for Zero-Knowledge Protocols
|
|
| 12:20 - 14:00 |
Lunch
|
|
| 14:00 - 15:00 |
Session on Modelling and Implementing: Session Chair: Gregor Leander (Room 00.54 / Auditorium A)
- S. Nachtigal, C. Mitchell: Modelling e-business security using business processes
- Stefan Lucks, Nico Schmoigl, Emin Islam Tatli: The Idea and the Architecture of a Cryptographic Compiler
|
| 15:00 - 15:30 |
Coffe Break
|
| 15:30 - 17:00 |
Session on Hash Functions: Session Chair: An Braeken (Room 00.54 / Auditorium A)
- Luis Carlos Coronado Garcia: The Subset Sum Problem and (Universal) One-Way Functions based on it
- Krystian Matusiewicz, Josef Pieprzyk: Collisions for simplified variants of SHA-256
- Norbert Pramstaller, Christian Rechberger, Vincent Rijmen: Preliminary Analysis of the SHA-256 Message Expansion
|
| 17:00 - 17:15 |
Closing Remarks Goodbye!
|
|
|
|
