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

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