​
Login / Signup
ProvSec
2007
2013
2017
2023
2007
2023
Keyphrases
Publications
2023
Minh Thuy Truc Pham
,
Dung Hoang Duong
,
Yannan Li
,
Willy Susilo
Threshold Ring Signature Scheme from Cryptographic Group Action.
ProvSec
(2023)
Yanxiang Deng
,
Lin Liu
,
Shaojing Fu
,
Yuchuan Luo
,
Wei Wu
,
Shixiong Wang
Privacy Preserving Outsourced K-means Clustering Using Kd-tree.
ProvSec
(2023)
Lifeng Guo
,
Lingxia Wang
,
Xueke Ma
,
Qianli Ma
A New Revocable Attribute Based Encryption on Lattice.
ProvSec
(2023)
Hao Zhu
,
Fagen Li
,
Lihui Liu
,
Yong Zeng
,
Xiaoli Li
,
Jianfeng Ma
Signcryption-Based Encrypted Traffic Detection Scheme for Fast Establishing Secure Connections.
ProvSec
(2023)
Weihan Huang
,
Min Luo
,
Cong Peng
,
Debiao He
FleS: A Compact and Parameter-Flexible Supersingular Isogeny Based Public Key Encryption Scheme.
ProvSec
(2023)
Zahra Javar
,
Bruce M. Kapron
Linicrypt in the Ideal Cipher Model.
ProvSec
(2023)
Bishnu Charan Behera
,
Somindu C. Ramanna
Multi-input Functional Encryption for Unbounded Inner Products.
ProvSec
(2023)
Yuan Tian
,
Xinke Tian
,
Yongda Pang
Efficient Zero-Knowledge Arguments for Matrix Relations over Rings and Non-malleable Enhancement.
ProvSec
(2023)
Yuzhu Wang
,
Xingbo Wang
,
Mingwu Zhang
Homomorphic Witness Encryption from Indistinguishable Obfuscation.
ProvSec
(2023)
Zihao Liu
,
Ruixuan Deng
,
Chongxi Guan
,
Hua Shen
An Efficient Keyword-Based Ciphertext Retrieval Scheme.
ProvSec
(2023)
Simin Chen
,
Jiageng Chen
,
Atsuko Miyaji
,
Kaiming Chen
Constant-Size Group Signatures with Message-Dependent Opening from Lattices.
ProvSec
(2023)
Fuhu Wu
,
Lin Wang
,
Shun Zhang
,
Jie Cui
,
Hong Zhong
Reversible Data Hiding in Encrypted Images Based on Block Classification Coding of Sparse Representation.
ProvSec
(2023)
Hong Xu
,
Chunyu Hao
,
Zhichao Xu
,
Wenfeng Qi
Linear Cryptanalysis of Lightweight Block Cipher WARP.
ProvSec
(2023)
Jiaming Wen
,
Houzhen Wang
,
Huanguo Zhang
Post-quantum Sigma Protocols and Signatures from Low-Rank Matrix Completions.
ProvSec
(2023)
Zunlong Zhou
,
Wen Chen
,
Linrui Li
,
Yilin Zhang
simuBits: Pool Security Verification of Novel Mining Attacks.
ProvSec
(2023)
Yibing Wang
,
Xiaoxiao Wang
,
Chin-Tser Huang
,
Dejun Wang
,
Binhao Ma
,
Bo Meng
SMHSDVS: A Secure and Mutual Heterogeneous Strong Designated Signature Between PKI and IBC.
ProvSec
(2023)
Zehui Tang
,
Shengke Zeng
,
Tao Li
,
Shuai Cheng
,
Haoyu Zheng
Fuzzy Deduplication Scheme Supporting Pre-verification of Label Consistency.
ProvSec
(2023)
Meng Huang
,
Jia Yang
,
Cong Liu
CDRF: A Detection Method of Smart Contract Vulnerability Based on Random Forest.
ProvSec
(2023)
Sohto Chiku
,
Keisuke Hara
,
Junji Shikata
Identity-Based Matchmaking Encryption Secure Against Key Generation Center.
ProvSec
(2023)
Lang Xu
,
Jiqiang Li
,
Hao Zhang
,
Hua Shen
A Privacy-Preserving Takeaway Delivery Service Scheme.
ProvSec
(2023)
Wenhao Shi
,
Jiang Han
,
Haodong Jiang
,
Zhi Ma
Improved Key-Recovery Attacks Under Imperfect SCA Oracle for Lattice-Based KEMs.
ProvSec
(2023)
Ran Xu
,
Yanwei Zhou
,
Yu Han
,
Bo Yang
A Certificateless Aggregate Signature Scheme with Better Security.
ProvSec
(2023)
Masahito Ishizaka
Key-Range Attribute-Based Signatures for Range of Inner Product and Its Applications.
ProvSec
(2023)
volume 14217, 2023
Provable and Practical Security - 17th International Conference, ProvSec 2023, Wuhan, China, October 20-22, 2023, Proceedings
ProvSec
14217 (2023)
2022
Ge Zhang
,
Yu Geng
,
Xueman Kong
,
Yifa Li
Construction of a New UAV Management System Based on UMIA Technology.
ProvSec
(2022)
Yuting Jiang
,
Jianghong Wei
,
Jing Pan
Batched Fully Dynamic Multi-key FHE from FHEW-Like Cryptosystems.
ProvSec
(2022)
Jian Huang
,
Shanliang Xue
,
Caiyi Wang
Fast Out-of-Band Data Integrity Monitor to Mitigate Memory Corruption Attacks.
ProvSec
(2022)
Pan Yang
,
Hongbo Li
,
Jianye Huang
,
Hao Zhang
,
Man Ho Au
,
Qiong Huang
Secure-Channel Free Certificateless Searchable Public Key Authenticated Encryption with Keyword Search.
ProvSec
(2022)
Yanhua Zhang
,
Ximeng Liu
,
Yupu Hu
Simplified Server-Aided Revocable Identity-Based Encryption from Lattices.
ProvSec
(2022)
Zhaobo Lu
,
Yilei Wang
,
Qingzhe Lv
,
Minghao Zhao
,
Tiancai Liang
-MIA: A Membership Inference Attack Free of Posterior Probability in Machine Unlearning.
ProvSec
(2022)
Geng Wang
,
Ming Wan
,
Dawu Gu
More Efficient Verifiable Functional Encryption.
ProvSec
(2022)
Priyanka Dutta
,
Dung Hoang Duong
,
Willy Susilo
,
Kazuhide Fukushima
,
Shinsaku Kiyomoto
Zero-Knowledge Range Arguments for Signed Fractional Numbers from Lattices.
ProvSec
(2022)
Yuntao Wang
,
Yasuhiko Ikematsu
,
Takanori Yasuda
Lattice-Based Public Key Cryptosystems Invoking Linear Mapping Mask.
ProvSec
(2022)
Wei-Yang Chiu
,
Weizhi Meng
,
Wenjuan Li
,
Liming Fang
FolketID: A Decentralized Blockchain-Based NemID Alternative Against DDoS Attacks.
ProvSec
(2022)
Anit Kumar Ghosal
,
Satrajit Ghosh
,
Dipanwita Roychowdhury
Practical Non-malleable Codes from Symmetric-Key Primitives in 2-Split-State Model.
ProvSec
(2022)
Jodie Knapp
,
Elizabeth A. Quaglia
Epoch Confidentiality in Updatable Encryption.
ProvSec
(2022)
Yu Li
,
Junzuo Lai
,
Xiaowei Yuan
,
Beibei Song
Practical Federated Learning for Samples with Different IDs.
ProvSec
(2022)
Kyoichi Asano
,
Keita Emura
,
Atsushi Takayasu
,
Yohei Watanabe
A Generic Construction of CCA-Secure Attribute-Based Encryption with Equality Test.
ProvSec
(2022)
Juzheng Huang
,
Qiang Tang
,
Chunhua Su
,
Na Ruan
Secure Collaboration Between Consortiums in Permissioned Blockchains.
ProvSec
(2022)
Marcel Armour
,
Elizabeth A. Quaglia
Subverting Deniability.
ProvSec
(2022)
Zhaojie Wang
,
Willy Susilo
,
Jianan Guo
,
Yilei Wang
,
Minghao Zhao
Reinforcement-Mining: Protecting Reward in Selfish Mining.
ProvSec
(2022)
Bin Liu
,
Antonis Michalas
,
Bogdan Warinschi
Cryptographic Role-Based Access Control, Reconsidered.
ProvSec
(2022)
Carsten Baum
,
Bernardo David
,
Rafael Dowsley
(Public) Verifiability for Composable Protocols Without Adaptivity or Zero-Knowledge.
ProvSec
(2022)
volume 13600, 2022
Provable and Practical Security - 16th International Conference, ProvSec 2022, Nanjing, China, November 11-12, 2022, Proceedings
ProvSec
13600 (2022)
2021
Carlo Brunetta
,
Mario Larangeira
,
Bei Liang
,
Aikaterini Mitrokotsa
,
Keisuke Tanaka
Turn-Based Communication Channels.
ProvSec
(2021)
Baodong Qin
,
Hui Cui
,
Xiaokun Zheng
,
Dong Zheng
Improved Security Model for Public-Key Authenticated Encryption with Keyword Search.
ProvSec
(2021)
Jason Chia
,
Ji-Jian Chin
,
Sook-Chin Yip
OrBit: OR-Proof Identity-Based Identification with Tight Security for (as Low As) 1-Bit Loss.
ProvSec
(2021)
Cheng-Jun Lin
,
Rui Xue
,
Xinyi Huang
Linearly Homomorphic Signatures with Designated Combiner.
ProvSec
(2021)
Jixin Zhang
,
Jiageng Chen
,
Weizhi Meng
Efficient Attribute-Based Signature for Monotone Predicates.
ProvSec
(2021)
volume 13059, 2021
Provable and Practical Security - 15th International Conference, ProvSec 2021, Guangzhou, China, November 5-8, 2021, Proceedings
ProvSec
13059 (2021)