Program list 
Committees
Keynote Speakers
Accepted Papers

***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   

 

Day 1 Sunday, 29/11/2020 Video Link
13.30 – 1400
(UTC: 5:30 – 6:00) 		Registration (login to Zoom and Slack)
14:00 – 14:10
(UTC: 6:00 – 6:10) 		Opening Speech
Chairs
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:00 – 7:10)


Security Analyses (2 talks)
Session Chair: Shi Bai		 

Key Recovery under Plaintext Checking Attack on LAC
Ke Wang, Zhenfeng Zhang, Haodong Jiang
NA

Security of Two NIST Candidates in the Presence of Randomness Reuse
Ke Wang, Zhenfeng Zhang, Haodong Jiang 
NA
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 Puzzle​s
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 Application
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 Preserving 
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
NA

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 Bandits
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
  		NA
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 Encryption
Moesfa Soeheila Mohamad, Ji-Jian Chin

 

 

Receiver Selective Opening CCA Secure Public Key Encryption from Various Assumptions
Yi Lu, Keisuke Hara, Keisuke Tanaka​ 

NA
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  		NA

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

Remi Clarisse, Olivier Sand​ers​​ *Best Paper Award


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
  		NA
16:50 – 17:00
(UTC: 8:50 – 9:00)
  		​Closing and Introduction of ProvSec 2021
Speaker: Qiong Huang 
Session Chair: Huaxiong Wang, Khoa Nguyen 		NA