Monday, September 7, 2009


9:00 - 9:30 Opening
9:30 - 10:30 Keynote speaker: Prof. Sushil Jajodia [short bio]
Topological Analysis of Network Attack Vulnerability [abstract]
10:30 - 11:00 Coffee break
11:00 - 13:00 Session 1: Analysis techniques (Chair: Eiji Okamoto)
A New Approach to $\chi^2$ Cryptanalysis of Block Ciphers [slides]
Jorge Nakahara Jr, Gautham Sekar, Daniel Santana de Freitas, Chang Chiann, Ramon Hugo de Souza, and Bart Preneel

Analysis and Optimization of Cryptographically Generated Addresses [slides]
Joppe W. Bos, Onur Ozen, and Jean-Pierre Hubaux

Security Analysis of the PACE Key-Agreement Protocol
Jens Bender, Marc Fischlin, and Dennis Kugler

Towards Security Notions for White-Box Cryptography (Short Paper) [slides]
Amitabh Saxena, Brecht Wyseur, and Bart Preneel

A calculus to detect guessing attacks (Short Paper) [slides]
Bogdan Groza and Marius Minea
13:00 - 14:15 Lunch
14:15 - 15:45 Session 2: Hash functions (Chair: Jorge Nakahara)
Structural Attacks on Two SHA-3 Candidates: Blender-n and DCH-n [slides]
Mario Lamberger and Florian Mendel

Meet-in-the-Middle Attacks Using Output Truncation in 3-Pass HAVAL [slides]
Yu Sasaki

On Free-Start Collisions and Collisions for TIB3
Florian Mendel and Martin Schlaffer
15:45 - 16:15 Coffee break
16:15 - 17:45 Session 3: Database security and biometrics (Chair: Keith Frikken)
Detection of Database Intrusion using a Two-Stage Fuzzy System [slides]
Suvasini Panigrahi, Shamik Sural

Combining Consistency and Confidentiality Requirements in First-Order Databases [slides]
Joachim Biskup and Lena Wiese

Cancelable Iris Biometrics using Block Re-mapping and Image Warping (Short Paper) [slides]
Jutta Hammerle-Uhl, Elias Pschernig, and Andreas Uhl

Iris Recognition in Nonideal Situations (Short Paper)
Kaushik Roy and Prabir Bhattacharya

Tuesday, September 8, 2009


09:00 - 10:30 Session 4: Algebraic attacks and proxy re-encryption (Chair: Marius Minea)
Efficient Conditional Proxy Re-Encryption with Chosen-Ciphertext Security [slides]
Jian Weng, Yanjiang Yang, Qiang Tang, Robert H. Deng, and Feng Bao

Practical Algebraic Attacks on the Hitag2 Stream Cipher [slides]
Nicolas T. Courtois, Sean O’Neil, and Jean-Jacques Quisquater

A New Construction of Boolean Functions with Maximum Algebraic Immunity [slides]
Deshuai Dong, Shaojing Fu, Longjiang Qu, and Chao Li

10:30 - 11:00 Coffee break
11:00 - 13:00 Session 5: Distributed system security (Chair: Lena Wiese)
A2M: Access-Assured Mobile Desktop Computing
Angelos Stavrou, Ricardo A. Barrato, Angelos D. Keromytis, and Jason Nieh

Automated Spyware Collection and Analysis
Andreas Stamminger, Christopher Kruegel, Giovanni Vigna and Engin Kirda

Towards Unifying Vulnerability Information for Attack Graph Construction [slides]
Sebastian Roschke, Feng Cheng, Robert Schuppenies, and Christoph Meinel

Traitor Tracing without a Priori Bound on the Coalition Size (Short Paper)
Hongxia Jin and Serdar Pehlivanoglu

SISR - a New Model for Epidemic Spreading of Electronic Threats (Short Paper) [slides]
Boris Rozenberg, Ehud Gudes, and Yuval Elovici
13:00 - 14:15 Lunch
14:15 - 15:45 Session 6: Identity management and authentication (Chair: Masahiro Mambo)
An Efficient Distance Bounding RFID Authentication Protocol: Balancing False-Acceptance Rate and Memory Requirement [slides]
Gildas Avoine and Aslan Tchamkerten

Robust Authentication Using Physically Unclonable Functions
Keith B. Frikken, Marina Blanton, and Mikhail J. Atallah

Risks of the CardSpace Protocol [slides]
Sebastian Gajek, Jorg Schwenk, Michael Steiner, and Chen Xuan
15:45 - 16:15 Coffee break
16:15 - 18:00 Session 7: Applied cryptography (Chair: Marina Blanton)
Fair E-cash: Be Compact, Spend Faster [slides]
Sebastien Canard, Cecile Delerablee, Aline Gouget, Emeline Hufschmitt, Fabien Laguillaumie, Herve Sibert, Jacques Traore, and Damien Vergnaud

On the security of Identity Based Ring Signcryption Schemes [slides]
S. Sharmila Deva Selvi, S. Sree Vivek, and C. Pandu Rangan

A Storage Efficient Redactable Signature in the Standard Model
Ryo Nojima, Jin Tamura, Youki Kadobayashi, and Hiroaki Kikuchi

Generic Construction of Stateful Identity Based Encryption (Short Paper)
Peng Yang, Rui Zhang, Kanta Matsuura, and Hideki Imai

Wednesday, September 9, 2009

09:30 - 10:30 Keynote speaker: Prof. Jan Camenisch
A Crypto Toolbox to Build Your Own Protocols [abstract]
10:30 - 11:00 Coffee break
11:00 - 13:00 Session 8: Access control (Chair: Angelos Stavrou)
Privacy-aware Attribute-based Encryption with User Accountability [slides]
Jin Li, Kui Ren, Bo Zhu, and Zhiguo Wan

Hardware-Assisted Application-Level Access Control [slides]
Yu-Yuan Chen and Ruby B. Lee

Towards Trustworthy Delegation in Role-Based Access Control Model [slides]
Manachai Toahchoodee, Xing Xie, and Indrakshi Ray

Secure Interoperation in Multidomain Environments Employing UCON Policies (Short Paper) [slides]
Jianfeng Lu, Ruixuan Li, Vijay Varadharajan, Zhengding Lu, and Xiaopu Ma

Specification and Enforcement of Static Separation-of-Duty Policies in Usage Control (Short Paper) [slides]
Jianfeng Lu, Ruixuan Li, Zhengding Lu, Jinwei Hu, and Xiaopu Ma
13:00 - 14:15 Lunch
14:15 - 15:45 Session 9: MAC and nonces (Chair: Indrakshi Ray)
Nonce Generators and the Nonce Reset Problem [slides]
Erik Zenner

MAC Precomputation with Applications to Secure Memory [slides]
Juan Garay, Vladimir Kolesnikov, and Rae McLellan

HMAC without the “Second” Key
Kan Yasuda
15:45 - 16:15 Coffee Break

16:15 - 17:45 Session 10: P2P and web services (Chair: Artsiom Yautsiukhin)
Adding Trust to P2P Distribution of Paid Content
Alex Sherman, Angelos Stavrou, Jason Nieh, Angelos D. Keromytis, and Cliff Stein

Peer-to-peer Architecture for Collaborative Intrusion and Malware Detection on a Large Scale [slides]
Mirco Marchetti, Michele Messori, and Michele Colajanni

F3ildCrypt: End-to-End Protection of Sensitive Information in Web Services [slides]
Matthew Burnside and Angelos D. Keromytis