Skip to main content
SpringerLink
Log in

Provable and Practical Security

14th International Conference, ProvSec 2020, Singapore, November 29 – December 1, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Khoa Nguyen

    1. Nanyang Technological University, Singapore, Singapore

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Wenling Wu

    1. Chinese Academy of Sciences, Beijing, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Kwok Yan Lam

    1. Nanyang Technological University, Singapore, Singapore

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Huaxiong Wang

    1. Nanyang Technological University, Singapore, Singapore

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: ProvSec 2020.

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 EPUB and 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 (20 papers)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Signature Schemes

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Group Signature Without Random Oracles from Randomizable Signatures

      • Rémi Clarisse, Olivier Sanders
      Pages 3-23

    3. Constant-Size Lattice-Based Group Signature with Forward Security in the Standard Model

      • Sébastien Canard, Adela Georgescu, Guillaume Kaim, Adeline Roux-Langlois, Jacques Traoré
      Pages 24-44

    4. A Lattice-Based Provably Secure Multisignature Scheme in Quantum Random Oracle Model

      • Masayuki Fukumitsu, Shingo Hasegawa
      Pages 45-64

    5. Achieving Pairing-Free Aggregate Signatures using Pre-Communication between Signers

      • Kaoru Takemure, Yusuke Sakai, Bagus Santoso, Goichiro Hanaoka, Kazuo Ohta
      Pages 65-84

    6. Short Lattice Signatures in the Standard Model with Efficient Tag Generation

      • Kaisei Kajita, Kazuto Ogawa, Koji Nuida, Tsuyoshi Takagi
      Pages 85-102

    7. One-Time Delegation of Unlinkable Signing Rights and Its Application

      • Takashi Nishide
      Pages 103-123

    8. Watermarkable Signature with Computational Function Preserving

      • Kyohei Sudo, Masayuki Tezuka, Keisuke Hara, Yusuke Yoshida, Keisuke Tanaka
      Pages 124-144

    9. Privacy-Preserving Authentication for Tree-Structured Data with Designated Verification in Outsourced Environments

      • Fei Zhu, Xun Yi, Sharif Abuadbba, Ibrahim Khalil, Xu Yang, Surya Nepal et al.
      Pages 145-165

  3. Encryption Schemes and NIZKs

    1. Front Matter

      Pages 167-167
      Download chapter PDF

    2. Semi-Adaptively Secure Offline Witness Encryption from Puncturable Witness PRF

      • Tapas Pal, Ratna Dutta
      Pages 169-189

    3. Improved Indistinguishability for Searchable Symmetric Encryption

      • Moesfa Soeheila Mohamad, Ji-Jian Chin
      Pages 190-212

    4. Receiver Selective Opening CCA Secure Public Key Encryption from Various Assumptions

      • Yi Lu, Keisuke Hara, Keisuke Tanaka
      Pages 213-233

    5. A Practical NIZK Argument for Confidential Transactions over Account-Model Blockchain

      • Shunli Ma, Yi Deng, Mengqiu Bai, Debiao He, Jiang Zhang, Xiang Xie
      Pages 234-253

  4. Secure Machine Learning and Multiparty Computation

    1. Front Matter

      Pages 255-255
      Download chapter PDF

    2. Secure Cumulative Reward Maximization in Linear Stochastic Bandits

      • Radu Ciucanu, Anatole Delabrouille, Pascal Lafourcade, Marta Soare
      Pages 257-277

    3. Secure Transfer Learning for Machine Fault Diagnosis Under Different Operating Conditions

      • Chao Jin, Mohamed Ragab, Khin Mi Mi Aung
      Pages 278-297

    4. Private Decision Tree Evaluation with Constant Rounds via (Only) SS-3PC over Ring

      • Hikaru Tsuchida, Takashi Nishide, Yusaku Maeda
      Pages 298-317

    5. Dispelling Myths on Superposition Attacks: Formal Security Model and Attack Analyses

      • Luka Music, Céline Chevalier, Elham Kashefi
      Pages 318-337
Back to top

Other volumes

  1. Provable and Practical Security

Keywords

About this book

This book constitutes the refereed proceedings of the 14th International Conference on Provable Security, ProvSec 2020, held in Singapore, in November 2020.  The 20 full papers presented were carefully reviewed and selected from 59 submissions. The papers focus on provable security as an essential tool for analyzing security of modern cryptographic primitives. They are divided in the following topical sections: signature schemes, encryption schemes and NIZKS, secure machine learning and multiparty computation, secret sharing schemes, and security analyses.

* The conference was held virtually due to the COVID-19 pandemic.

Editors and Affiliations

  • Nanyang Technological University, Singapore, Singapore

    Khoa Nguyen, Kwok Yan Lam, Huaxiong Wang

  • Chinese Academy of Sciences, Beijing, China

    Wenling Wu

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation