LNCS 10005 Liqun Chen Jinguang Han (Eds.) Provable Security 10th International Conference, ProvSec 2016 Nanjing, China, November 10–11, 2016 Proceedings 123 Lecture Notes in Computer Science Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, Lancaster, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M Kleinberg Cornell University, Ithaca, NY, USA Friedemann Mattern ETH Zurich, Zurich, Switzerland John C Mitchell Stanford University, Stanford, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel C Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen TU Dortmund University, Dortmund, Germany Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max Planck Institute for Informatics, Saarbrücken, Germany 10005 More information about this series at http://www.springer.com/series/7410 Liqun Chen Jinguang Han (Eds.) • Provable Security 10th International Conference, ProvSec 2016 Nanjing, China, November 10–11, 2016 Proceedings 123 Editors Liqun Chen University of Surrey Guildford UK Jinguang Han Nanjing University of Finance and Economics Nanjing China ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notes in Computer Science ISBN 978-3-319-47421-2 ISBN 978-3-319-47422-9 (eBook) DOI 10.1007/978-3-319-47422-9 Library of Congress Control Number: 2016953218 LNCS Sublibrary: SL4 – Security and Cryptology © Springer International Publishing AG 2016 This work is subject to copyright All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed The use of general descriptive names, registered names, trademarks, service marks, etc in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication Neither the publisher nor the authors or the editors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissions that may have been made Printed on acid-free paper This Springer imprint is published by Springer Nature The registered company is Springer International Publishing AG The registered company address is: Gewerbestrasse 11, 6330 Cham, Switzerland Preface The 10th International Conference on Provable Security (ProvSec 2016) was held in Nanjing, P.R China, November 10–11, 2016 The conference was organized by Nanjing University of Finance and Economics The conference program consisted of two invited talks and 23 contributed papers We would like to express our special thanks to the distinguished keynote speakers, Colin Boyd from the Norwegian University of Science and Technology and Jens Groth from University College London, who gave very enlightening talks Out of 79 submissions from 16 countries, 23 papers were selected, presented at the conference, and are included in these proceedings The accepted papers cover a range of topics in the field of provable security research, including attribute/role-based cryptography, data in cloud, searchable encryption, key management, encryption, leakage analysis, and homomorphic encryption The success of this event depended critically on the help and hard work of many people, whose help we gratefully acknowledge First, we heartily thank the Program Committee and the additional reviewers, listed on the following pages, for their careful and thorough reviews Most of the papers were reviewed by at least three people, and many by four or five Significant time was spent discussing the papers Thanks must also go to the hard-working shepherds for their guidance and helpful advice on improving a number of papers We also thank the general chair for the excellent organization of the conference We also sincerely thank the authors of all submitted papers We further thank the authors of accepted papers for revising papers according to the various reviewer suggestions and for returning the source files in good time The revised versions were not checked by the Program Committee, and so authors bear final responsibility for their contents We would also like to thank the Steering Committee and local Organizing Committee Thanks are due to the staff at Springer for their help in producing the proceedings We further thank the developers and maintainers of the EasyChair software, which greatly helped simplify the submission and review process November 2016 Liqun Chen Jinguang Han Organization Provable Security 2016 Nanjing, P.R China November 10–11, 2016 General Chair Jie Cao Nanjing University of Finance and Economics, China Program Chairs Liqun Chen Jinguang Han University of Surrey, UK Nanjing University of Finance and Economics, China Steering Committee Feng Bao Xavier Boyen Joseph K Liu Yi Mu Josef Pieprzyk Willy Susilo Huawei, Singapore Queensland University of Technology, Australia Monash University, Australia University of Wollongong, Australia Queensland University of Technology, Australia University of Wollongong, Australia Program Committee Man Ho Au Joonsang Baek Zhenfu Cao Aniello Castiglione Liqun Chen Xiaofeng Chen Yu Chen Céline Chevalier Kim-Kwang Raymond Choo Sherman S.M Chow Nico Döttling Georg Fuchsbauer David Galindo Jinguang Han Qiong Huang Hong Kong Polytechnic University, SAR China Khalifa University of Science, Technology and Research, UAE East China Normal University, China University of Salerno, Italy University of Surrey, UK Xidian University, China Chinese Academy of Sciences, China Université Panthéon-Assas Paris II, France University of Texas at San Antonio, USA Chinese University of Hong Kong, SAR China University of California, Berkeley, USA École normale supérieure, France University of Birmingham, UK Nanjing University of Finance and Economics, China South China Agricultural University, China VIII Organization Xinyi Huang Sorina Ionica Kwangjo Kim Alptekin Kỹpỗỹ Jiguo Li Yingjiu Li Kaitai Liang Xiaodong Lin Joseph Liu Zhe Liu Rongxing Lu Masahiro Mambo Mark Manulis Bart Mennink Chris Mitchell Atsuko Miyaji Yi Mu Tatsuaki Okamoto Thomas Peters Christophe Petit Josef Pieprzyk Yogachandran Rahulamathavan Kui Ren Reza Reyhanitabar Dominique Schröder Willy Susilo Qiang Tang Cong Wang Huaxiong Wang Jian Weng Qianhong Wu Shouhuai Xu Chung-Huang Yang Guomin Yang Wun-She Yap Xun Yi Siu Ming Yiu Yong Yu Tsz Hon Yuen Fangguo Zhang Futai Zhang Rui Zhang Yuan Zhang Zongyang Zhang Jianying Zhou Fujian Normal University, China University of Picardie Jules Verne, France KAIST, Republic of Korea Koỗ University, Turkey Hohai University, China Singapore Management University, Singapore Manchester Metropolitan University, UK University of Ontario Institute of Technology, Canada Monash University, Australia University of Waterloo, Canada University of New Brunswick, Canada Kanazawa University, Japan University of Surrey, UK KU Leuven, Belgium Royal Holloway, University of London, UK Osaka University, Japan University of Wollongong, Australia NTT, Japan École normale supérieure, France University of Oxford, UK Queensland University of Technology, Australia Loughborough University in London, UK State University of New York at Buffalo, USA NEC Laboratories Europe, Germany Saarland University, Germany University of Wollongong, Australia University of Luxembourg, Luxembourg City University of Hong Kong, SAR China Nanyang Technological University, Singapore Jinan University, China Beihang University, China University of Texas at San Antonio, USA National Kaohsiung Normal University, Taiwan University of Wollongong, Australia Universiti Tunku Abdul Rahman, Malaysia RMIT University, Australia The University of Hong Kong, SAR China Shaanxi Normal University, China Huawei, Singapore Sun Yat-sen University, China Nanjing Normal University, China Chinese Academy of Sciences, China Nanjing University, China AIST, Japan Institute for Infocomm Research, Singapore Organization IX Organizing Chairs Zhiang Wu Futai Zhang Jiguo Li Nanjing University of Finance and Economics, China Nanjing Normal University, China Hohai University, China Publication Chairs Zhan Bu Muhammad Khurram Khan Nanjing University of Finance and Economics, China King Saud University, Kingdom of Saudi Arabia Publicity Chairs Jiageng Chen Ali El Kaafarani Huazhong Normal University, China University of Oxford, UK Registration Chair Changjian Fang Nanjing University of Finance and Economics, China Additional Reviewers Ang, Yang Arita, Seiko Biswas, Bhaskar Blazy, Olivier Dong, Changyu Dong, Xiaolei Dupont, Pierre-Alain El Kaafarani, Ali Etemad, Mohammad Ezerman, Martianus Frederic Ferrara, Anna Lisa Fleischhacker, Nils Futa, Yuichi Gong, Junqing Haiyang, Xue Hassanzadeh-Nazarabadi, Yahya Hou, Lin Huang, Jianye Huang, Yan Jiang, Peng Kai, He Kuwakado, Hidenori Lai, Jianchang Lai, Russell W.F Lee, Hyung Tae Li, Hongbo Li, Huige Li, Ximing Lin, Changlu Liu, Jia-Nan Liu, Jianghua Liu, Ximing Liu, Yuejun Liu, Yunwen Mamun, Mohammad Michel, Christoph Minelli, Michele Ning, Jianting Nguyen, Khoa Omote, Kazumasa Pellegrino, Giancarlo Russell, Paulet Sasaki, Yu Su, Chunhua Taheri-Boshrooyeh, Sanaz Tan, Gaosheng X Organization Tan, Syh-Yuan Tan, Xiao Vizár, Damian Wang, Hao Wang, Jianfeng Wang, Licheng Wang, Qin Wang, Wei Wang, Xiuhua Wang, Yilei Wang, Yuyu Xiao, Yuting Xie, Congge Xie, Shaohao Xue, Haiyang Yang, Rupeng Yang, Wenjie Yang, Xu Yang, Xuechao Yau, Wei-Chuen Yu, Gang Yu, Jingyue Zhang, Huang Zhang, Kai Zhang, Liting Zhang, Shiwei Zhang, Tao Zhang, Yinghui Zhao, Yongjun Zheng, Haibin Zhong, Lin Zhou, Jun Zhou, Xingguang ... http://www.springer.com/series/7410 Liqun Chen Jinguang Han (Eds.) • Provable Security 10th International Conference, ProvSec 2016 Nanjing, China, November 10–11, 2016 Proceedings 123 Editors Liqun Chen University... Springer International Publishing AG The registered company address is: Gewerbestrasse 11, 6330 Cham, Switzerland Preface The 10th International Conference on Provable Security (ProvSec 2016) was... simplify the submission and review process November 2016 Liqun Chen Jinguang Han Organization Provable Security 2016 Nanjing, P.R China November 10–11, 2016 General Chair Jie Cao Nanjing University