Skip Ribbon Commands
Skip to main content


***Conference proceedings***

Conference participants will be granted free access to the ProvSec 2020 proceedings for 4 weeks. Please click this link​ to gain access to Provsec 2020 conference proceedings.

Conference Program

Notes: The scheduled times listed below are in Singapore time (UTC+08) and UTC time. Dates are in UTC. If the times seem inconvenient, keep in mind that this is an international conference with a Singapore-centric schedule.

Day 1

​Sunday,  29/11/2020​


13:30 – 14:00

(UTC: 5:30 – 6:00)

Registration (login to Zoom and Slack)

14:00 – 14:10

(UTC: 6:00 – 6:10)

Opening Speech


14:10 – 15:00

(UTC: 6:10 – 7:00)

​Keynote Talk 1

Speaker: Yu Yu,  Shanghai Jiao Tong University, China 

Title: On Sub-exponential Learning Parity with Noise and Its Applications

Session Chair: Khoa Nguyen​​

15:00 - 15:10

(UTC: 7:00 – 7:10)

Coffee Break

15:10 - 16:00

(UTC: 7:10 – 8:00)

Security Analyses (2 talks)

Session Chair: Shi Bai


Key Recovery under Plaintext Checking Attack on LAC

Ke Wang, Zhenfeng Zhang, Haodong Jiang


Security of Two NIST Candidates in the Presence of 

Randomness Reuse

Ke Wang, Zhenfeng Zhang, Haodong Jiang 

16:00 - 16:10

(UTC: 8:00 – 8:10)

​Coffee Break

16:10 – 17:00

(UTC: 8:10 – 9:00)

Secret Sharing Schemes (2 talks)

Session Chair: Yi Deng


Opt​imal Threshold Changeable Secret Sharing with New 

Threshold Change Range

Jian Ding, Changlu Lin, Fuchun Lin​


Fair and Sound Secret Sharing from Homomorphic Time-Lock 


Jodie Knapp, Elizabeth A. Quaglia

Day 2

Monday, 30/11/2020


9:10 – 10:00

(UTC: 1:10 – 2:00)

Keynote Talk 2

Speaker:  Mike Rosulek, Oregon State University, USA 

Title: A Brief Overview of Private Set Intersection

Session Chair: Khoa Nguyen

10:00 – 10:20

(UTC: 2:00 – 2:20)

Coffee Break

10:20 – 12:00

(UTC: 2:20 – 4:00)

Signature Schemes I (4 talks)

Session Chair: Keita Emura


Short Lattice Signatures in the Standard Model with Efficient 

Tag Generation

Kaisei Kajita, Kazuto Ogawa, Koji Nuida, Tsuyoshi Takagi


One-Time Delegation of Unlinkable Signing Rights and Its 


Takashi Nishide​


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, 

Xinyi Huang​ 


Watermarkable Signature with Computational Function 


Kyohei Sudo, Masayuki Tezuka, Keisuke Hara, Yusuke Yoshida, 

Keisuke Tanaka​

12:00 - 14:00

(UTC: 4:00 – 6:00)

Lunch Break

14:00 – 15:40

(UTC: 6:00 – 7:40)

Secure Machine Learning and Multiparty Computation (4 talks)

Session Chair: Zhen Liu


Secure Transfer Learning for Machine Fault Diagnosis under 

Different Operating Conditions

Chao ​Jin, Mohamed Ragab, Khin Mi Mi Aung


Private Decision Tree Evaluation with Constant Rounds via 

(Only) SS-3PC over Ring

Hikaru Tsuchida, Takashi Nishide, Yusaku Maeda


Dispelling Myths on Superposition Attacks: Formal Security 

Model and Attack Analyses

Luka Music, Céline Chevalier, Elham Kashefi 


Secure Cumulative Reward Maximization in Linear Stochastic 


Radu Ciucanu, Anatole Delabrouille, Pascal Lafourcade, Marta Soare 

15:40 - 16:00

 (UTC: 7:40 – 8:00)

Coffee Break

16:00 - 16:50

(UTC: 8:00 – 8:50)



Keynote Talk 3

Speaker: C​hris Mitchell, Royal Holloway, University of London, UK

Title: Failures of Security Proofs

Session Chair: Huaxiong Wang

Day 3

Tuesday, 01/12/2020

9:10 – 10:00

(UTC: 1:10 – 2:00)

Keynote Talk 4

Speaker: Tetsu Iwata, Nagoya University, Japan

Title: Quantum Security of Feistel Ciphers

Session Chair: Wenling Wu

10:00 – 10:20

(UTC: 2:00 – 2:20)

Coffee​ Break

10:20 – 12:00

(UTC: 2:20 – 4:20)​

Encryption Schemes and NIZKs (4 talks)

Sessio​n Chair: Shuichi Katsumata


Improved Indistinguishability for Searchable Symmetric 


Moesfa Soeheila Mohamad, Ji-Jian Chin


Receiver Selective Opening CCA Secure Public Key Encryption 

from Various Assumptions

Yi Lu, Keisuke Hara, Keisuke Tanaka​ 


A Practical NIZK Argument for Confidential Transactions over 

Account-model Blockchain

Shunli Ma, Yi Deng, Mengqiu Bai, Debiao He, Jiang Zhang, Xiang Xie


Semi-Adaptively Secure Offine Witness Encryption from 

Puncturable Witness PRF

Tapas Pal, Ratna Dutta

12:00 - 14:00

(UTC: 4:00 – 6:00)

Lunch Break

14:00 – 15:40

(UTC: 6:00 – 7:40)

Signature Schemes II (4 talks)

Session Chair: Amin Sakzad


A Lattice-based Provably Secure Multisignature Scheme in 

Quantum Random Oracle Model

Masayuki Fuk​umitsu, Shingo Hasegawa 


Achieving Pairing-Free Aggregate Signatures using Pre-

Communication between Signers

Kaoru Takemure, Yusuke Sakai, Bagus Santoso, Goichiro Hanaoka, 

Kazuo Ohta​


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é​


Group Signature without Random Oracles from Randomizable 

Signatures *Best Paper Award

Remi Clarisse, Olivier Sand​ers​​

15:40 - 16:00

 (UTC: 7:40 – 8:00)

Coffee Break

16:00 – 16:50

(UTC: 8:00 – 8:50)

Keynote Talk 5

Speaker: Ronald Cramer, CWI Amsterdam & Leiden University, The Netherlands

Title: Compressed Σ-Protocol Theory

Session Chair: Huaxiong Wan​g

16:50 – 17:00

(UTC: 8:50 – 9:00)

​Closing and Introduction of ProvSec 2021

Speaker: Qiong Huang 

Session Chair: Huaxiong Wang, Khoa Nguyen



Local Attractions

Marina Bay
Gardens by the Bay
Clarke Quay
Colonial District

Not sure which programme to go for? Use our programme finder
Loading header/footer ...