Skip to main content
SpringerLink
Log in

Provable Security

5th International Conference, ProvSec 2011, Xi'an, China, October 16-18, 2011. Proceedings

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Xavier Boyen

    1. Palo Alto Research Center, Palo Alto, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Xiaofeng Chen

    1. School of Telecommunications Engineering, Xidian University, Xi’an, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up to date results
  • Fast track conference proceedings
  • State of the art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6980)

Part of the book sub series: Security and Cryptology (LNSC)

Included in the following conference series:

Conference proceedings info: ProvSec 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (28 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Optimal Structure-Preserving Signatures

      • Jens Groth
      Pages 1-1

    2. Secure Composition of Cryptographic Protocols

      • Vipul Goyal
      Pages 2-2

  3. Cryptographic Primitives

    1. Secure Two-Party Computation over a Z-Channel

      • Paolo Palmieri, Olivier Pereira
      Pages 3-15

    2. Precise Time and Space Simulatable Zero-Knowledge

      • Ning Ding, Dawu Gu
      Pages 16-33

    3. Weak Oblivious Transfer from Strong One-Way Functions

      • Keisuke Tanaka, Akihiro Yamada, Kenji Yasunaga
      Pages 34-51

    4. Simulatable Adaptive Oblivious Transfer with Statistical Receiver’s Privacy

      • Bingsheng Zhang
      Pages 52-67

  4. Encryption

    1. Verifiable Security of Boneh-Franklin Identity-Based Encryption

      • Gilles Barthe, Federico Olmedo, Santiago Zanella Béguelin
      Pages 68-83

    2. Efficient Ciphertext Policy Attribute-Based Encryption with Constant-Size Ciphertext and Constant Computation-Cost

      • Cheng Chen, Zhenfeng Zhang, Dengguo Feng
      Pages 84-101

    3. Fully Distributed Broadcast Encryption

      • Qianhong Wu, Bo Qin, Lei Zhang, Josep Domingo-Ferrer
      Pages 102-119

    4. Efficient Identity-Based Signcryption in the Standard Model

      • Fagen Li, Fahad Bin Muhaya, Mingwu Zhang, Tsuyoshi Takagi
      Pages 120-137

    5. Toward Compact Public Key Encryption Based on CDH Assumption via Extended Twin DH Assumption

      • Yoshikazu Hanatani, Hirofumi Muratani, Tomoko Yonemura
      Pages 138-153

    6. Anonymous Encryption with Partial-Order Subset Delegation Functionality

      • Mingwu Zhang, Takashi Nishide, Bo Yang, Tsuyoshi Takagi
      Pages 154-169

  5. Cryptographic Protocols

    1. Concurrent Signatures with Fully Negotiable Binding Control

      • Tsz Hon Yuen, Duncan S. Wong, Willy Susilo, Qiong Huang
      Pages 170-187

    2. Secure Obfuscation of Encrypted Verifiable Encrypted Signatures

      • Rong Cheng, Bo Zhang, Fangguo Zhang
      Pages 188-203

    3. Identity-Based Trace and Revoke Schemes

      • Duong Hieu Phan, Viet Cuong Trinh
      Pages 204-221

    4. Universally Composable Private Proximity Testing

      • Rafael Tonicelli, Bernardo Machado David, Vinícius de Morais Alves
      Pages 222-239

    5. Generic Constant-Round Oblivious Sorting Algorithm for MPC

      • Bingsheng Zhang
      Pages 240-256

    6. General Construction of Chameleon All-But-One Trapdoor Functions

      • Shengli Liu, Junzuo Lai, Robert H. Deng
      Pages 257-265

  6. Security Models and Framework

    1. PolyE+CTR: A Swiss-Army-Knife Mode for Block Ciphers

      • Liting Zhang, Wenling Wu, Peng Wang
      Pages 266-280
Back to top

Other volumes

  1. Provable Security

Keywords

About this book

This book constitutes the refereed proceedings of the 5th Provable Security Conference held in in Xi'an, China, in October 2011. The 22 full papers presented together with 4 short papers and 2 invited talks were carefully reviewed and selected from 75 submissions. The papers are divided in topical sections on cryptographic primitives; encryption; cryptographic protocols; security models and framework; and key agreement.

Editors and Affiliations

  • Palo Alto Research Center, Palo Alto, USA

    Xavier Boyen

  • School of Telecommunications Engineering, Xidian University, Xi’an, China

    Xiaofeng Chen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation