• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 30 matches

• 2017
• 
  Kamalesh Acharya, Ratna Dutta:
  Provable Secure Constructions for Broadcast Encryption with Personalized Messages. ProvSec 2017: 329-348
• 
  Ahto Buldas, Matthias Geihs, Johannes Buchmann:
  Long-Term Secure Time-Stamping Using Preimage-Aware Hash Functions - (Short Version). ProvSec 2017: 251-260
• 
  Xavier Bultel, Manik Lal Das, Hardik Gajera, David Gérault, Matthieu Giraud, Pascal Lafourcade:
  Verifiable Private Polynomial Evaluation. ProvSec 2017: 487-506
• 
  Suvradip Chakraborty, Janaka Alawatugoda, C. Pandu Rangan:
  Leakage-Resilient Non-interactive Key Exchange in the Continuous-Memory Leakage Setting. ProvSec 2017: 167-187
• 
  Yuan Chen, Qingkuan Dong, Qiqi Lai:
  Natural sd-RCCA Secure Public-Key Encryptions. ProvSec 2017: 236-250
• 
  Long Chen, Zhenfeng Zhang:
  Bootstrapping Fully Homomorphic Encryption with Ring Plaintexts Within Polynomial Noise. ProvSec 2017: 285-304
• 
  Hui Cui, Man Ho Au, Baodong Qin, Robert H. Deng, Xun Yi:
  Fuzzy Public-Key Encryption Based on Biometric Data. ProvSec 2017: 400-409
• 
  Nelly Fazio, Rosario Gennaro, Tahereh Jafarikhah, William E. Skeith III:
  Homomorphic Secret Sharing from Paillier Encryption. ProvSec 2017: 381-399
• 
  Masayuki Fukumitsu, Shingo Hasegawa:
  Impossibility of the Provable Security of the Schnorr Signature from the One-More DL Assumption in the Non-programmable Random Oracle Model. ProvSec 2017: 201-218
• 
  Gunnar Hartung, Björn Kaidel, Alexander Koch, Jessica Koch, Dominik Hartmann:
  Practical and Robust Secure Logging from Fault-Tolerant Sequential Aggregate Signatures. ProvSec 2017: 87-106
• 
  Vincenzo Iovino, Karol Zebrowski:
  Mergeable Functional Encryption. ProvSec 2017: 434-451
• 
  Junzuo Lai, Jie Xiong, Chuansheng Wang, Guangzheng Wu, Yanling Li:
  A Secure Cloud Backup System with Deduplication and Assured Deletion. ProvSec 2017: 74-83
• 
  Zhi Liang, Qianhong Wu, Weiran Liu, Jianwei Liu, Fu Xiao:
  Provably Secure Self-Extractable Encryption. ProvSec 2017: 3-23
• 
  San Ling, Khoa Nguyen, Huaxiong Wang, Juanyang Zhang:
  Revocable Predicate Encryption from Lattices. ProvSec 2017: 305-326
• 
  Yang Liu, Xingxin Li, Youwen Zhu, Jian Wang, Zhe Liu:
  Secure Multi-label Classification over Encrypted Data in Cloud. ProvSec 2017: 57-73
• 
  Hanlin Liu, Di Yan, Yu Yu, Shuoyao Zhao:
  On the Hardness of Sparsely Learning Parity with Noise. ProvSec 2017: 261-267
• 
  Ru Meng, Yanwei Zhou, Jianting Ning, Kaitai Liang, Jinguang Han, Willy Susilo:
  An Efficient Key-Policy Attribute-Based Searchable Encryption in Prime-Order Groups. ProvSec 2017: 39-56
• 
  Fatemeh Rezaeibagha, Yi Mu, Shiwei Zhang, Xiaofen Wang:
  Provably Secure Homomorphic Signcryption. ProvSec 2017: 349-360
• 
  Bagus Santoso, Chunhua Su:
  Provable Secure Post-Quantum Signature Scheme Based on Isomorphism of Polynomials in Quantum Random Oracle Model. ProvSec 2017: 271-284
• 
  S. Sharmila Deva Selvi, Arinjita Paul, Chandrasekaran Pandu Rangan:
  An Efficient Certificateless Proxy Re-Encryption Scheme Without Pairing. ProvSec 2017: 413-433
• 
  Zhen Wang, Xiling Luo, Qianhong Wu:
  Verifiably Encrypted Group Signatures. ProvSec 2017: 107-126
• 
  Yunling Wang, Jianfeng Wang, Shifeng Sun, Joseph K. Liu, Willy Susilo, Xiaofeng Chen:
  Towards Multi-user Searchable Encryption Supporting Boolean Query and Fast Decryption. ProvSec 2017: 24-38
• 
  Dimaz Ankaa Wijaya, Joseph K. Liu, Dony Ariadi Suwarsono, Peng Zhang:
  A New Blockchain-Based Value-Added Tax System. ProvSec 2017: 471-486
• 
  Zifeng Xu, Fucai Zhou, Yuxi Li, Jian Xu, Qiang Wang:
  Private Subgraph Matching Protocol. ProvSec 2017: 455-470
• 
  Haiyang Xue, Bao Li, Jingnan He:
  New Framework of Password-Based Authenticated Key Exchange from Only-One Lossy Encryption. ProvSec 2017: 188-198
• 
  Shengke Zeng, Yi Mu, Guomin Yang, Mingxing He:
  Deniable Ring Authentication Based on Projective Hash Functions. ProvSec 2017: 127-143
• 
  Fangguo Zhang:
  Bit Security of the Hyperelliptic Curves Diffie-Hellman Problem. ProvSec 2017: 219-235
• 
  Ping Zhang, Peng Wang, Honggang Hu, Changsong Cheng, Wenke Kuai:
  INT-RUP Security of Checksum-Based Authenticated Encryption. ProvSec 2017: 147-166
• 
  Dali Zhu, Renjun Zhang, Dingding Jia:
  Public-Key Encryption with Simulation-Based Sender Selective-Opening Security. ProvSec 2017: 361-380
• 
  Tatsuaki Okamoto, Yong Yu, Man Ho Au, Yannan Li:
  Provable Security - 11th International Conference, ProvSec 2017, Xi'an, China, October 23-25, 2017, Proceedings. Lecture Notes in Computer Science 10592, Springer 2017, ISBN 978-3-319-68636-3 [contents]