Information Security Practice and Experience: 13th International Conference, ISPEC 2017, Melbourne, VIC, Australia, December 13–15, 2017, Proceedings

Front Matter ....Pages I-XVI
Front Matter ....Pages 1-1
 An Adaptive Gas Cost Mechanism for Ethereum to Defend Against Under-Priced DoS Attacks  (Ting Chen, Xiaoqi Li, Ying Wang, Jiachi Chen, Zihao Li, Xiapu Luo et al.)....Pages 3-24
 A User-Friendly Centrally Banked Cryptocurrency  (Xuan Han, Yamin Liu, Haixia Xu)....Pages 25-42
 Contract Coin: Toward Practical Contract Signing on Blockchain  (Haibo Tian, Jiejie He, Liqing Fu)....Pages 43-61
 TTP-free Fair Exchange of Digital Signatures with Bitcoin  (Wentao Zhang, Qianhong Wu, Bo Qin, Tianxu Han, Yanting Zhang, Xiaofeng Chen et al.)....Pages 62-81
Front Matter ....Pages 83-83
 The KDM-CCA Security of REACT  (Jinyong Chang, Honglong Dai, Maozhi Xu)....Pages 85-101
 Privacy-Preserving Extraction of HOG Features Based on Integer Vector Homomorphic Encryption  (Haomiao Yang, Yunfan Huang, Yong Yu, Mingxuan Yao, Xiaosong Zhang)....Pages 102-117
 Hierarchical Conditional Proxy Re-Encryption: A New Insight of Fine-Grained Secure Data Sharing  (Kai He, Xueqiao Liu, Huaqiang Yuan, Wenhong Wei, Kaitai Liang)....Pages 118-135
 New Proof for BKP IBE Scheme and Improvement in the MIMC Setting  (Song Luo, Lu Yan, Jian Weng, Zheng Yang)....Pages 136-155
 A Secure Variant of the SRP Encryption Scheme with Shorter Private Key  (Bo Lv, Zhiniang Peng, Shaohua Tang)....Pages 156-167
 Key Bit-Dependent Attack on Protected PKC Using a Single Trace  (Bo-Yeon Sim, Dong-Guk Han)....Pages 168-185
 Group-Based Source-Destination Verifiable Encryption with Blacklist Checking  (Zhongyuan Yao, Yi Mu, Guomin Yang)....Pages 186-203
 Compact Attribute-Based and Online-Offline Multi-input Inner Product Encryptions from Standard Static Assumptions (Short Paper)  (Pratish Datta)....Pages 204-214
Front Matter ....Pages 215-215
 Optimizing Online Permutation-Based AE Schemes for Lightweight Applications  (Yu Sasaki, Kan Yasuda)....Pages 217-236
 Dual Relationship Between Impossible Differentials and Zero Correlation Linear Hulls of SIMON-Like Ciphers  (Xuan Shen, Ruilin Li, Bing Sun, Lei Cheng, Chao Li, Maodong Liao)....Pages 237-255
 Block Cipher Modes of Operation for Heterogeneous Format Preserving Encryption  (Toshiya Shimizu, Takeshi Shimoyama)....Pages 256-275
Front Matter ....Pages 277-277
 Compact Lossy and All-but-One Trapdoor Functions from Lattice  (Leixiao Cheng, Quanshui Wu, Yunlei Zhao)....Pages 279-296
 A Lattice-Based Approach to Privacy-Preserving Biometric Authentication Without Relying on Trusted Third Parties  (Trung Dinh, Ron Steinfeld, Nandita Bhattacharjee)....Pages 297-319
 Enhancement for Secure Multiple Matrix Multiplications over Ring-LWE Homomorphic Encryption  (Pradeep Kumar Mishra, Dung Hoang Duong, Masaya Yasuda)....Pages 320-330
Front Matter ....Pages 331-331
 Verifiable Range Query Processing for Cloud Computing  (Yanling Li, Junzuo Lai, Chuansheng Wang, Jianghe Zhang, Jie Xiong)....Pages 333-349
 Ranked Searchable Symmetric Encryption Supporting Conjunctive Queries  (Yanjun Shen, Peng Zhang)....Pages 350-360
 A New Functional Encryption for Multidimensional Range Query (Short Paper)  (Jia Xu, Ee-Chien Chang, Jianying Zhou)....Pages 361-372
Front Matter ....Pages 373-373
 Linearly Homomorphic Signatures with Designated Entities  (Cheng-Jun Lin, Xinyi Huang, Shitang Li, Wei Wu, Shao-Jun Yang)....Pages 375-390
 Efficient Certificate-Based Signature and Its Aggregation  (Xinxin Ma, Jun Shao, Cong Zuo, Ru Meng)....Pages 391-408
 Recovering Attacks Against Linear Sketch in Fuzzy Signature Schemes of ACNS 2015 and 2016  (Masaya Yasuda, Takeshi Shimoyama, Masahiko Takenaka, Narishige Abe, Shigefumi Yamada, Junpei Yamaguchi)....Pages 409-421
 Fast and Adaptively Secure Signatures in the Random Oracle Model from Indistinguishability Obfuscation (Short Paper)  (Bei Liang, Aikaterini Mitrokotsa)....Pages 422-431
Front Matter ....Pages 433-433
 EyeSec: A Practical Shoulder-Surfing Resistant Gaze-Based Authentication System  (Na Li, Qianhong Wu, Jingwen Liu, Wei Hu, Bo Qin, Wei Wu)....Pages 435-453
 Enhanced Remote Password-Authenticated Key Agreement Based on Smart Card Supporting Password Changing  (Jian Shen, Meng Feng, Dengzhi Liu, Chen Wang, Jiachen Jiang, Xingming Sun)....Pages 454-467
 A Practical Authentication Protocol for Anonymous Web Browsing  (Xu Yang, Xun Yi, Hui Cui, Xuechao Yang, Surya Nepal, Xinyi Huang et al.)....Pages 468-482
Front Matter ....Pages 483-483
 Dynamic Provable Data Possession Protocols with Public Verifiability and Data Privacy  (Clémentine Gritti, Rongmao Chen, Willy Susilo, Thomas Plantard)....Pages 485-505
 Outsourcing Encrypted Excel Files  (Ya-Nan Li, Qianhong Wu, Wenyi Tang, Bo Qin, Qin Wang, Meixia Miao)....Pages 506-524
 Outsourced Privacy-Preserving Random Decision Tree Algorithm Under Multiple Parties for Sensor-Cloud Integration  (Ye Li, Zoe L. Jiang, Xuan Wang, S. M. Yiu, Junbin Fang)....Pages 525-538
 Effective Security Analysis for Combinations of MTD Techniques on Cloud Computing (Short Paper)  (Hooman Alavizadeh, Dong Seong Kim, Jin B. Hong, Julian Jang-Jaccard)....Pages 539-548
Front Matter ....Pages 549-549
 Fast Discretized Gaussian Sampling and Post-quantum TLS Ciphersuite  (Xinwei Gao, Lin Li, Jintai Ding, Jiqiang Liu, R. V. Saraswathy, Zhe Liu)....Pages 551-565
 Automatic Encryption Schemes Based on the Neural Networks: Analysis and Discussions on the Various Adversarial Models (Short Paper)  (Yidan Zhang, Marino Anthony James, Jiageng Chen, Chunhua Su, Jinguang Han)....Pages 566-575
 Relevance Filtering for Shared Cyber Threat Intelligence (Short Paper)  (Thomas D. Wagner, Esther Palomar, Khaled Mahbub, Ali E. Abdallah)....Pages 576-586
 Design and Implementation of a Lightweight Kernel-Level Network Intrusion Prevention System for Virtualized Environment (Short Paper)  (Mei-Ling Chiang, Jian-Kai Wang, Li-Chi Feng, Yang-Sen Chen, You-Chi Wang, Wen-Yu Kao)....Pages 587-598
Front Matter ....Pages 599-599
 Secure Communications in Unmanned Aerial Vehicle Network  (Shuangyu He, Qianhong Wu, Jingwen Liu, Wei Hu, Bo Qin, Ya-Nan Li)....Pages 601-620
 On the Security of In-Vehicle Hybrid Network: Status and Challenges  (Tianxiang Huang, Jianying Zhou, Yi Wang, Anyu Cheng)....Pages 621-637
 IoVShield: An Efficient Vehicular Intrusion Detection System for Self-driving (Short Paper)  (Zhuo Wei, Yanjiang Yang, Yasmin Rehana, Yongdong Wu, Jian Weng, Robert H. Deng)....Pages 638-647
 Enforcing Security in Artificially Intelligent Robots Using Monitors (Short Paper)  (Orhio Mark Creado, Phu Dung Le)....Pages 648-659
Front Matter ....Pages 661-661
 Hello, Facebook! Here Is the Stalkers’ Paradise!: Design and Analysis of Enumeration Attack Using Phone Numbers on Facebook  (Jinwoo Kim, Kuyju Kim, Junsung Cho, Hyoungshick Kim, Sebastian Schrittwieser)....Pages 663-677
 Covert QR Codes: How to Hide in the Crowd  (Yang-Wai Chow, Willy Susilo, Joonsang Baek)....Pages 678-693
 Home Location Protection in Mobile Social Networks: A Community Based Method (Short Paper)  (Bo Liu, Wanlei Zhou, Shui Yu, Kun Wang, Yu Wang, Yong Xiang et al.)....Pages 694-704
Front Matter ....Pages 705-705
 A Formal Model for an Ideal CFI  (Sepehr Minagar, Balasubramaniam Srinivasan, Phu Dung Le)....Pages 707-726
 Defending Application Cache Integrity of Android Runtime  (Jia Wan, Mohammad Zulkernine, Phil Eisen, Clifford Liem)....Pages 727-746
 An Ensemble Learning System to Mitigate Malware Concept Drift Attacks (Short Paper)  (Zhi Wang, Meiqi Tian, Junnan Wang, Chunfu Jia)....Pages 747-758
 Using the B Method to Formalize Access Control Mechanism with TrustZone Hardware Isolation (Short Paper)  (Lu Ren, Rui Chang, Qing Yin, Wei Wang)....Pages 759-769
 Matching Function-Call Graph of Binary Codes and Its Applications (Short Paper)  (Yong Tang, Yi Wang, ShuNing Wei, Bo Yu, Qiang Yang)....Pages 770-779
Front Matter ....Pages 781-781
 Reasoning About Trust and Belief Change on a Social Network: A Formal Approach  (Aaron Hunter)....Pages 783-801
 An Effective Authentication for Client Application Using ARM TrustZone  (Hang Jiang, Rui Chang, Lu Ren, Weiyu Dong, Liehui Jiang, Shuiqiao Yang)....Pages 802-813
 Generic Framework for Attribute-Based Group Signature  (Veronika Kuchta, Gaurav Sharma, Rajeev Anand Sahu, Olivier Markowitch)....Pages 814-834
 An Improved Leveled Fully Homomorphic Encryption Scheme over the Integers  (Xiaoqiang Sun, Peng Zhang, Jianping Yu, Weixin Xie)....Pages 835-846
 The ECCA Security of Hybrid Encryptions  (Honglong Dai, Jinyong Chang, Zhenduo Hou, Maozhi Xu)....Pages 847-859
 A Secure Server-Based Pseudorandom Number Generator Protocol for Mobile Devices  (Hooman Alavizadeh, Hootan Alavizadeh, Kudakwashe Dube, Dong Seong Kim, Julian Jang-Jaccard, Hans W. Guesgen)....Pages 860-876
 A Secure and Practical Signature Scheme for Blockchain Based on Biometrics  (Yosuke Kaga, Masakazu Fujio, Ken Naganuma, Kenta Takahashi, Takao Murakami, Tetsushi Ohki et al.)....Pages 877-891
 Toward Fuzz Test Based on Protocol Reverse Engineering  (Jun Cai, Jian-Zhen Luo, Jianliang Ruan, Yan Liu)....Pages 892-897
 How Spam Features Change in Twitter and the Impact to Machine Learning Based Detection  (Tingmin Wu, Derek Wang, Sheng Wen, Yang Xiang)....Pages 898-904
Back Matter ....Pages 905-907