ACCEPTED PAPERS

REGULAR TRACK -- 33 Papers

001: Hybrid Signcryption Schemes with Outsider Security
Alexander W. Dent
Royal Holloway, University of London
UK

006: A Multiplicative Homomorphic Sealed-Bid Auction Based on Goldwasser-Micali Encryption
Kun Peng, Colin Boyd, and Ed Dawson
Queensland University of Technology
Australia

011: Building a Cryptovirus Using Microsoft's Cryptographic API
Adam L. Young
USA

024: ID-Based Multi-party Authenticated Key Agreement Protocols from Multilinear Forms 
Hyung Mok Lee, Kyung Ju Ha, and Kyo Min Ku 
Mobilab. Co. Ltd.; Daegu Hanny University
Korea

028: IPsec Support in NAT-PT Scenario for IPv6 Transition
Souhwan Jung, Jaeduck Choi, Younghan Kim, and Sungi Kim
Soongsil University; Samsung Electronics
Korea

033: Analysis and Improvement of a Signcryption Scheme with Key Privacy
Guomin Yang, Duncan S. Wong, and Xiaotie Deng
City University of Hong Kong
China

037: A Non-Redundant and Efficient Architecture for Karatsuba-Ofman Algorithm
Namsu Chang, Chang Han Kim, Young-Ho Park, and Jongin Lim
Korea University; Semyung University; Sejong Cyber University
Korea

046: A Dynamic Mechanism for Recovering from Buffer Overflow Attacks
Stelios Sidiroglou, Giannis Giovanidis, and Angelos Keromytis
Columbia University
USA

050: An Oblivious Transfer Protocol with Log-Squared Communication
Helger Lipmaa
Cybernetica AS; University of Tartu
Estonia

060: On the Security of Tweakable Modes of Operation: TBC and TAE
Wang Peng, Feng Dengguo, and Wu Wenling
Chinese Academy of Sciences
China

067: Chaum's Designated Confirmer Signature Revisited
Jean Monnerat and Serge Vaudenay
EPFL
Switzerland

083: Compatible Ideal Visual Cryptography schemes with Reversing
Chih-Ming Hu and Wen-Guey Tzeng
National Chiao Tung University
Taiwan

107: On the Security of the WinRAR Encryption Method
Gary S.-W. Yeo and Raphael C.-W. Phan
Swinburne University of Technology
Malaysia

109: SVision: A Network Host-Centered Anomaly Visualization Technique
Iosif-Viorel Onut, Bin Zhu, and Ali A. Ghorbani
University of New Brunswick
Canada

123: On the Notion of Statistical Security in Simulatability Definitions
Dennis Hofheinz and Dominique Unruh
University of Karlsruhe
Germany

126: Device-Enabled Authorization in the Grey System
Lujo Bauer, Scott Garriss, Jonathan M. McCune, Michael K. Reiter, Jason Rouse, and Peter Rutenbar
Carnegie Mellon University
USA

130: Towards Better Software Tamper Resistance
Hongxia Jin, Ginger Myles, and Jeffery Lotspiech
IBM Almaden Research Center
USA

131: Evaluating Access Control Policies Through Model Checking
Nan Zhang, Mark Ryan, and Dimitar P. Guelev
University of Birmingham; Institute of Mathematics and Informatics
UK; Bulgaria

157: Timed-Release Encryption with Pre-open Capability and its Application to Certified E-mail System
Yong Ho Hwang, Dae Hyun Yum, and Pil Joong Lee
POSTECH; New York University
Korea; USA

163: Error Oracle Attacks on CBC Mode: Is There a Future for CBC Mode Encryption?
Chris J Mitchell
RoyalHolloway, University of London
UK

165: gore: Routing-Assisted Defense Against DDoS Attacks
Stephen Chou, Angelos Stavrou, John Ioannidis, and Angelos D. Keromytis
Columbia University
USA

177: Time-based Release of Confidential Information in Hierarchical Settings
D. Nali, C. Adams and A. Miri
University of Ottawa
Canada

193: Certificateless Public Key Encryption without Pairing
Joonsang Baek, Reihaneh Safavi-Naini, and Willy Susilo
University of Wollongong
Australia

199: Trust Engineering: From Requirements to System Design and Maintenance -- A Working National Lottery System Experience
Elisavet Konstantinou, Vasiliki Liagkou, Paul Spirakis, Yannis Stamatiou, and Moti Yung 
CTI; University of Patras; University of Ioannina; Columbia University; RSA Laboratories
Greece; USA

207: Electronic voting: Starting Over?
Yvo Desmedt and Kaoru Kurosawa
University College London; Ibaraki University
UK; Japan

209: A Privacy-Preserving Rental System
Yanjiang Yang and Beng Chin Ooi
National Universityi of Singapore; Institute for Infocomm Research; Singapore Management University
Singapore

211: Tracing-by-Linking Group Signatures
Victor K. Wei
Chinese University of Hong Kong
China

215: Hardware Architecture and Cost Estimates for Breaking SHA-1
Akashi Satoh
IBM Japan Ltd.
Japan

229: Universally Composable Time-Stamping Schemes with Audit
Ahto Buldas, Peeter Laud, Mart Saarepera, and Jan Villemson
University of Tartu; Cybernetica; Tallinn University of Technology; Playtech Estonia
Estonia

232: Constant Round Dynamic Group Key Agreement
Ratna Dutta and Rana Barua
Indian Statistical Institute
India

240: A Cryptographic Solution for General Access Control
Yibing Kong, Jennifer Seberry, Janusz Getta, and Ping Yu
University of Wollongong
Australia

250: A Key Pre-distribution Scheme for Wireless Sensor Networks: Merging Blocks in Combinatorial Design
Dibyendu Chakrabarti, Subhamoy Maitra, and Bimal Roy
Indian Statistical Institute
India

257: Efficient and Proactive Threshold Signcryption
Changshe Ma, Kefei Chen, Dong Zheng, and Shengli Liu
Shanghai Jiaotong University; South China Normal University
China


STUDENTS TRACK -- 5 Papers

097: Integrity Improvements to an RFID Privacy Protection Protocol for Anti-Counterfeiting
Xiaolan Zhang and Brian King
Indiana University; Purdue University
USA

132: A Formal Definition for Trust in Distributed Systems
Daoxi Xiu and Zhaoyu Liu
University of North Carolina at Charlotte
USA

156: A Practical Voting Scheme with Receipts
Marek Klonowski, Miroslaw Kutylowski, Anna Lauks, and Filip Zagorski
Wroclaw University of Technology
Poland

243: New Constructive Approach to Covert Channel Modeling and Channel Capacity Estimation
Zhenghong Wang and Ruby B. Lee
Princeton University
USA

269: Efficient Modeling of Discrete Events for Anomaly Detection using Hidden Markov Models
German Florez-Larrahondo, Susan M. Bridges, and Rayford Vaughn
Mississippi State University
USA