Computer Security : 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part II

The two-volume set, LNCS 11098 and LNCS 11099 constitutes the refereed proceedings of the 23nd European Symposium on Research in Computer Security, ESORICS 2018, held in Barcelona, Spain, in September 2018. The 56 revised full papers presented were carefully reviewed and selected from 283 submissions. The papers address issues such as software security, blockchain and machine learning, hardware security, attacks, malware and vulnerabilities, protocol security, privacy, CPS and IoT security, mobile security, database and web security, cloud security, applied crypto, multi-party computation, SDN security. Front Matter ....Pages I-XIX Front Matter ....Pages 1-1 Workflow-Aware Security of Integrated Mobility Services (Prabhakaran Kasinathan, Jorge Cuellar)....Pages 3-19 Emulation-Instrumented Fuzz Testing of 4G/LTE Android Mobile Devices Guided by Reinforcement Learning (Kaiming Fang, Guanhua Yan)....Pages 20-40 PIAnalyzer: A Precise Approach for PendingIntent Vulnerability Analysis (Sascha Groß, Abhishek Tiwari, Christian Hammer)....Pages 41-59 Investigating Fingerprinters and Fingerprinting-Alike Behaviour of Android Applications (Christof Ferreira Torres, Hugo Jonker)....Pages 60-80 Front Matter ....Pages 81-81 Towards Efficient Verifiable Conjunctive Keyword Search for Large Encrypted Database (Jianfeng Wang, Xiaofeng Chen, Shi-Feng Sun, Joseph K. Liu, Man Ho Au, Zhi-Hui Zhan)....Pages 83-100 Order-Revealing Encryption: File-Injection Attack and Forward Security (Xingchen Wang, Yunlei Zhao)....Pages 101-121 SEISMIC: SEcure In-lined Script Monitors for Interrupting Cryptojacks (Wenhao Wang, Benjamin Ferrell, Xiaoyang Xu, Kevin W. Hamlen, Shuang Hao)....Pages 122-142 Detecting and Characterizing Web Bot Traffic in a Large E-commerce Marketplace (Haitao Xu, Zhao Li, Chen Chu, Yuanmi Chen, Yifan Yang, Haifeng Lu et al.)....Pages 143-163 Front Matter ....Pages 165-165 Dissemination of Authenticated Tree-Structured Data with Privacy Protection and Fine-Grained Control in Outsourced Databases (Jianghua Liu, Jinhua Ma, Wanlei Zhou, Yang Xiang, Xinyi Huang)....Pages 167-186 Efficient and Secure Outsourcing of Differentially Private Data Publication (Jin Li, Heng Ye, Wei Wang, Wenjing Lou, Y. Thomas Hou, Jiqiang Liu et al.)....Pages 187-206 Symmetric Searchable Encryption with Sharing and Unsharing (Sarvar Patel, Giuseppe Persiano, Kevin Yeo)....Pages 207-227 Dynamic Searchable Symmetric Encryption Schemes Supporting Range Queries with Forward (and Backward) Security (Cong Zuo, Shi-Feng Sun, Joseph K. Liu, Jun Shao, Josef Pieprzyk)....Pages 228-246 Front Matter ....Pages 247-247 Breaking Message Integrity of an End-to-End Encryption Scheme of LINE (Takanori Isobe, Kazuhiko Minematsu)....Pages 249-268 Scalable Wildcarded Identity-Based Encryption (Jihye Kim, Seunghwa Lee, Jiwon Lee, Hyunok Oh)....Pages 269-287 Logarithmic-Size Ring Signatures with Tight Security from the DDH Assumption (Benoît Libert, Thomas Peters, Chen Qian)....Pages 288-308 RiffleScrambler – A Memory-Hard Password Storing Function (Karol Gotfryd, Paweł Lorek, Filip Zagórski)....Pages 309-328 Front Matter ....Pages 329-329 Practical Strategy-Resistant Privacy-Preserving Elections (Sébastien Canard, David Pointcheval, Quentin Santos, Jacques Traoré)....Pages 331-349 Formal Analysis of Vote Privacy Using Computationally Complete Symbolic Attacker (Gergei Bana, Rohit Chadha, Ajay Kumar Eeralla)....Pages 350-372 Location Proximity Attacks Against Mobile Targets: Analytical Bounds and Attacker Strategies (Xueou Wang, Xiaolu Hou, Ruben Rios, Per Hallgren, Nils Ole Tippenhauer, Martín Ochoa)....Pages 373-392 Front Matter ....Pages 393-393 Constant-Round Client-Aided Secure Comparison Protocol (Hiraku Morita, Nuttapong Attrapadung, Tadanori Teruya, Satsuya Ohata, Koji Nuida, Goichiro Hanaoka)....Pages 395-415 Towards Practical RAM Based Secure Computation (Niklas Buescher, Alina Weber, Stefan Katzenbeisser)....Pages 416-437 Improved Signature Schemes for Secure Multi-party Computation with Certified Inputs (Marina Blanton, Myoungin Jeong)....Pages 438-460 Front Matter ....Pages 461-461 Stealthy Probing-Based Verification (SPV): An Active Approach to Defending Software Defined Networks Against Topology Poisoning Attacks (Amir Alimohammadifar, Suryadipta Majumdar, Taous Madi, Yosr Jarraya, Makan Pourzandi, Lingyu Wang et al.)....Pages 463-484 Trust Anchors in Software Defined Networks (Nicolae Paladi, Linus Karlsson, Khalid Elbashir)....Pages 485-504 Front Matter ....Pages 505-505 Concessive Online/Offline Attribute Based Encryption with Cryptographic Reverse Firewalls—Secure and Efficient Fine-Grained Access Control on Corrupted Machines (Hui Ma, Rui Zhang, Guomin Yang, Zishuai Song, Shuzhou Sun, Yuting Xiao)....Pages 507-526 Making Any Attribute-Based Encryption Accountable, Efficiently (Junzuo Lai, Qiang Tang)....Pages 527-547 Decentralized Policy-Hiding ABE with Receiver Privacy (Yan Michalevsky, Marc Joye)....Pages 548-567 Back Matter ....Pages 569-571