Information and Communications Security: 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings

Description

This book constitutes the refereed proceedings of the 20th International Conference on Information and Communications Security, ICICS 2018, held in Lille, France, in October 2018. The 39 revised full papers and 11 short papers presented were carefully selected from 202 submissions. The papers are organized in topics on blockchain technology, malware, botnet and network security, real-world cryptography, encrypted computing, privacy protection, signature schemes, attack analysis and detection, searchable encryption and identity-based cryptography, verifiable storage and computing, applied cryptography, supporting techniques, formal analysis and cryptanalysis, attack detection, and security management. Front Matter ....Pages I-XV Front Matter ....Pages 1-1 Blockchain-Based Secure Data Provenance for Cloud Storage (Yuan Zhang, Xiaodong Lin, Chunxiang Xu)....Pages 3-19 uMine: A Blockchain Based on Human Miners (Henning Kopp, Frank Kargl, Christoph Bösch, Andreas Peter)....Pages 20-38 Front Matter ....Pages 39-39 LagProber: Detecting DGA-Based Malware by Using Query Time Lag of Non-existent Domains (Xi Luo, Liming Wang, Zhen Xu, Wei An)....Pages 41-56 Study on Advanced Botnet Based on Publicly Available Resources (Jie Yin, Heyang Lv, Fangjiao Zhang, Zhihong Tian, Xiang Cui)....Pages 57-74 Deep Packet Inspection with Delayed Signature Matching in Network Auditing (Yingpei Zeng, Shanqing Guo)....Pages 75-91 Low-Rate DoS Attack Detection Based on Two-Step Cluster Analysis (Dan Tang, Rui Dai, Liu Tang, Sijia Zhan, Jianping Man)....Pages 92-104 Front Matter ....Pages 105-105 On the Weakness of Constant Blinding PRNG in Flash Player (Chenyu Wang, Tao Huang, Hongjun Wu)....Pages 107-123 Random Number Generators Can Be Fooled to Behave Badly (George Teşeleanu)....Pages 124-141 Utilizing GPU Virtualization to Protect the Private Keys of GPU Cryptographic Computation (Ziyang Wang, Fangyu Zheng, Jingqiang Lin, Jiankuo Dong)....Pages 142-157 Front Matter ....Pages 159-159 Accelerating Integer Based Fully Homomorphic Encryption Using Frequency Domain Multiplication (Shakirah Hashim, Mohammed Benaissa)....Pages 161-176 Comparison-Based Attacks Against Noise-Free Fully Homomorphic Encryption Schemes (Alessandro Barenghi, Nicholas Mainardi, Gerardo Pelosi)....Pages 177-191 On Security in Encrypted Computing (Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu)....Pages 192-211 Front Matter ....Pages 213-213 PPOIM: Privacy-Preserving Shape Context Based Image Denoising and Matching with Efficient Outsourcing (Meng Zheng, Jun Zhou, Zhenfu Cao, Xiaolei Dong)....Pages 215-231 Linking Differential Identifiability with Differential Privacy (Anis Bkakria, Nora Cuppens-Boulahia, Frédéric Cuppens)....Pages 232-247 PP-MCSA: Privacy Preserving Multi-channel Double Spectrum Auction (Zhili Chen, Sheng Chen, Hong Zhong, Lin Chen, Miaomiao Tian)....Pages 248-267 Front Matter ....Pages 269-269 Hierarchical Group Signatures with Verifier-Local Revocation (Lin Hou, Renzhang Liu, Tian Qiu, Dongdai Lin)....Pages 271-286 Achieving Full Security for Lattice-Based Group Signatures with Verifier-Local Revocation (Maharage Nisansala Sevwandi Perera, Takeshi Koshiba)....Pages 287-302 Towards Practical Lattice-Based One-Time Linkable Ring Signatures (Carsten Baum, Huang Lin, Sabine Oechsner)....Pages 303-322 Front Matter ....Pages 323-323 Slop: Towards an Efficient and Universal Streaming Log Parser (Zhiyuan Zhao, Chenxu Wang, Wei Rao)....Pages 325-341 Community Discovery of Attribution Trace Based on Deep Learning Approach (Jian Xu, Xiaochun Yun, Yongzheng Zhang, Zhenyu Cheng)....Pages 342-357 Examine Manipulated Datasets with Topology Data Analysis: A Case Study (Yun Guo, Daniel Sun, Guoqiang Li, Shiping Chen)....Pages 358-373 Front Matter ....Pages 375-375 Efficient Multi-keyword Searchable Encryption Based on Multi-input Inner-Product Functional Encryption (Yunong Liang, Zhenfu Cao, Xiaolei Dong, Jiachen Shen)....Pages 377-392 Fast Two-Server Multi-User Searchable Encryption with Strict Access Pattern Leakage (Cédric Van Rompay, Refik Molva, Melek Önen)....Pages 393-408 Identity-Based Functional Encryption for Quadratic Functions from Lattices (Kelly Yun, Xin Wang, Rui Xue)....Pages 409-425 Key Dependent Message Security for Revocable Identity-Based Encryption and Identity-Based Encryption (Rui Zhang, Yang Tao)....Pages 426-441 Front Matter ....Pages 443-443 Publicly Verifiable Data Transfer and Deletion Scheme for Cloud Storage (Changsong Yang, Jianfeng Wang, Xiaoling Tao, Xiaofeng Chen)....Pages 445-458 Publicly Verifiable Static Proofs of Storage: A Novel Scheme and Efficiency Comparisons (Henning Kopp, Frank Kargl, Christoph Bösch)....Pages 459-477 Verifiable Single-Server Private Information Retrieval (Xingfeng Wang, Liang Zhao)....Pages 478-493 Front Matter ....Pages 495-495 Cryptographic Password Obfuscation (Giovanni Di Crescenzo, Lisa Bahler, Brian Coan)....Pages 497-512 CCA Secure Multi-recipient KEM from LPN (Haitao Cheng, Xiangxue Li, Haifeng Qian, Di Yan)....Pages 513-529 Witness-Indistinguishable Arguments with \(\varSigma \)-Protocols for Bundled Witness Spaces and Its Application to Global Identities (Hiroaki Anada, Seiko Arita)....Pages 530-547 Front Matter ....Pages 549-549 Automatic Identification of Industrial Control Network Protocol Field Boundary Using Memory Propagation Tree (Chen Kai, Zhang Ning, Wang Liming, Xu Zhen)....Pages 551-565 PCA: Page Correlation Aggregation for Memory Deduplication in Virtualized Environments (Min Zhu, Kun Zhang, Bibo Tu)....Pages 566-583 Role Recognition of Illegal Online Gambling Participants Using Monetary Transaction Data (Xiaohui Han, Lianhai Wang, Shujiang Xu, Dawei Zhao, Guangqi Liu)....Pages 584-597 Certifying Variant of RSA with Generalized Moduli (Yao Lu, Noboru Kunihiro, Rui Zhang, Liqiang Peng, Hui Ma)....Pages 598-608 Front Matter ....Pages 609-609 Attack Trees in Isabelle (Florian Kammüller)....Pages 611-628 Automated Verification of Noninterference Property (Fan Zhang, Cong Zhang, Mingdi Xu, Xiaoli Liu, Fangning Hu, HanChieh Chao)....Pages 629-646 Automatical Method for Searching Integrals of ARX Block Cipher with Division Property Using Three Subsets (Ya Han, Yongqiang Li, Mingsheng Wang)....Pages 647-663 Improved Automatic Search Algorithm for Differential and Linear Cryptanalysis on SIMECK and the Applications (Mingjiang Huang, Liming Wang, Yan Zhang)....Pages 664-681 Front Matter ....Pages 683-683 MalHunter: Performing a Timely Detection on Malicious Domains via a Single DNS Query (Chengwei Peng, Xiaochun Yun, Yongzheng Zhang, Shuhao Li)....Pages 685-695 Detecting Intrusion in the Traffic Signals of an Intelligent Traffic System (Abdullahi Chowdhury, Gour Karmakar, Joarder Kamruzzaman, Tapash Saha)....Pages 696-707 A Linguistic Approach Towards Intrusion Detection in Actual Proxy Logs (Mamoru Mimura, Hidema Tanaka)....Pages 708-718 Front Matter ....Pages 719-719 Simau: A Dynamic Privilege Management Mechanism for Host in Cloud Datacenters (Lin Wang, Min Zhu, Qing Li, Bibo Tu)....Pages 721-731 USB Packets Filtering Policies and an Associated Low-Cost Simulation Framework (Xiaoshu Ji, Gurvan Le Guernic, Nora Cuppens-Boulahia, Frédéric Cuppens)....Pages 732-742 Front Matter ....Pages 743-743 FPGA-Based Assessment of Midori and Gift Lightweight Block Ciphers (Carlos Andres Lara-Nino, Arturo Diaz-Perez, Miguel Morales-Sandoval)....Pages 745-755 Simpler CCA Secure PKE from LPN Problem Without Double-Trapdoor (Haitao Cheng, Xiangxue Li, Haifeng Qian, Di Yan)....Pages 756-766 PoS: Constructing Practical and Efficient Public Key Cryptosystems Based on Symmetric Cryptography with SGX (Huorong Li, Jingqiang Lin, Bingyu Li, Wangzhao Cheng)....Pages 767-777 Front Matter ....Pages 779-779 Application of Public Ledgers to Revocation in Distributed Access Control (Thanh Bui, Tuomas Aura)....Pages 781-792 Micropaying to a Distributed Payee with Instant Confirmation (Peifang Ni, Hongda Li, Dongxue Pan)....Pages 793-804 Revisiting Anonymous Two-Factor Authentication Schemes for Multi-server Environment (Ping Wang, Zijian Zhang, Ding Wang)....Pages 805-816 Back Matter ....Pages 817-818