Skip Ribbon Commands
Skip to main content

Provsec2020pic1.PNG


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

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

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

 

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


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​ 

 

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
Chinatown

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