Computer security -- ESORICS 2020 : 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings. Part II

The two volume set, LNCS 12308 + 12309, constitutes the proceedings of the 25th European Symposium on Research in Computer Security, ESORICS 2020, which was held in September 2020. The conference was planned to take place in Guildford, UK. Due to the COVID-19 pandemic, the conference changed to an online format. The total of 72 full papers included in these proceedings was carefully reviewed and selected from 366 submissions. The papers were organized in topical sections named: database and Web security; system security; network security; software security; machine learning security; privacy; formal modelling; applied cryptography; analyzing attacks; post-quantum cryptogrphy; security analysis; and blockchain. Front Matter ....Pages i-xxviii Front Matter ....Pages 1-1 Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols (Véronique Cortier, Stéphanie Delaune, Jannik Dreier)....Pages 3-22 When Is a Test Not a Proof? (Eleanor McMurtry, Olivier Pereira, Vanessa Teague)....Pages 23-41 Hardware Fingerprinting for the ARINC 429 Avionic Bus (Nimrod Gilboa-Markevich, Avishai Wool)....Pages 42-62 Front Matter ....Pages 63-63 Semantic Definition of Anonymity in Identity-Based Encryption and Its Relation to Indistinguishability-Based Definition (Goichiro Hanaoka, Misaki Komatsu, Kazuma Ohara, Yusuke Sakai, Shota Yamada)....Pages 65-85 SHECS-PIR: Somewhat Homomorphic Encryption-Based Compact and Scalable Private Information Retrieval (Jeongeun Park, Mehdi Tibouchi)....Pages 86-106 Puncturable Encryption: A Generic Construction from Delegatable Fully Key-Homomorphic Encryption (Willy Susilo, Dung Hoang Duong, Huy Quoc Le, Josef Pieprzyk)....Pages 107-127 Front Matter ....Pages 129-129 Linear Attack on Round-Reduced DES Using Deep Learning (Botao Hou, Yongqiang Li, Haoyue Zhao, Bin Wu)....Pages 131-145 Detection by Attack: Detecting Adversarial Samples by Undercover Attack (Qifei Zhou, Rong Zhang, Bo Wu, Weiping Li, Tong Mo)....Pages 146-164 Big Enough to Care Not Enough to Scare! Crawling to Attack Recommender Systems (Fabio Aiolli, Mauro Conti, Stjepan Picek, Mirko Polato)....Pages 165-184 Active Re-identification Attacks on Periodically Released Dynamic Social Graphs (Xihui Chen, Ema Këpuska, Sjouke Mauw, Yunior Ramírez-Cruz)....Pages 185-205 Front Matter ....Pages 207-207 Fooling Primality Tests on Smartcards (Vladimir Sedlacek, Jan Jancar, Petr Svenda)....Pages 209-229 An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA (Damián Aparicio-Sánchez, Santiago Escobar, Raúl Gutiérrez, Julia Sapiña)....Pages 230-250 On the Privacy Risks of Compromised Trigger-Action Platforms (Yu-Hsi Chiang, Hsu-Chun Hsiao, Chia-Mu Yu, Tiffany Hyun-Jin Kim)....Pages 251-271 Plenty of Phish in the Sea: Analyzing Potential Pre-attack Surfaces (Tobias Urban, Matteo Große-Kampmann, Dennis Tatang, Thorsten Holz, Norbert Pohlmann)....Pages 272-291 Front Matter ....Pages 293-293 Towards Post-Quantum Security for Cyber-Physical Systems: Integrating PQC into Industrial M2M Communication (Sebastian Paul, Patrik Scheible)....Pages 295-316 CSH: A Post-quantum Secret Handshake Scheme from Coding Theory (Zhuoran Zhang, Fangguo Zhang, Haibo Tian)....Pages 317-335 A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing (Xavier Boyen, Thomas Haines, Johannes Müller)....Pages 336-356 A Lattice-Based Key-Insulated and Privacy-Preserving Signature Scheme with Publicly Derived Public Key (Wenling Liu, Zhen Liu, Khoa Nguyen, Guomin Yang, Yu Yu)....Pages 357-377 Post-Quantum Adaptor Signatures and Payment Channel Networks (Muhammed F. Esgin, Oğuzhan Ersoy, Zekeriya Erkin)....Pages 378-397 Front Matter ....Pages 399-399 Linear-Complexity Private Function Evaluation is Practical (Marco Holz, Ágnes Kiss, Deevashwer Rathee, Thomas Schneider)....Pages 401-420 Certifying Decision Trees Against Evasion Attacks by Program Analysis (Stefano Calzavara, Pietro Ferrara, Claudio Lucchese)....Pages 421-438 They Might NOT Be Giants Crafting Black-Box Adversarial Examples Using Particle Swarm Optimization (Rayan Mosli, Matthew Wright, Bo Yuan, Yin Pan)....Pages 439-459 Understanding Object Detection Through an Adversarial Lens (Ka-Ho Chow, Ling Liu, Mehmet Emre Gursoy, Stacey Truex, Wenqi Wei, Yanzhao Wu)....Pages 460-481 Front Matter ....Pages 483-483 Signatures with Tight Multi-user Security from Search Assumptions (Jiaxin Pan, Magnus Ringerud)....Pages 485-504 Biased RSA Private Keys: Origin Attribution of GCD-Factorable Keys (Adam Janovsky, Matus Nemec, Petr Svenda, Peter Sekan, Vashek Matyas)....Pages 505-524 MAC-in-the-Box: Verifying a Minimalistic Hardware Design for MAC Computation (Robert Küennemann, Hamed Nemati)....Pages 525-545 Evaluating the Effectiveness of Heuristic Worst-Case Noise Analysis in FHE (Anamaria Costache, Kim Laine, Rachel Player)....Pages 546-565 Front Matter ....Pages 567-567 How to Model the Bribery Attack: A Practical Quantification Method in Blockchain (Hanyi Sun, Na Ruan, Chunhua Su)....Pages 569-589 Updatable Blockchains (Michele Ciampi, Nikos Karayannidis, Aggelos Kiayias, Dionysis Zindros)....Pages 590-609 PrivacyGuard: Enforcing Private Data Usage Control with Blockchain and Attested Off-Chain Contract Execution (Yang Xiao, Ning Zhang, Jin Li, Wenjing Lou, Y. Thomas Hou)....Pages 610-629 Front Matter ....Pages 631-631 Identity-Based Authenticated Encryption with Identity Confidentiality (Yunlei Zhao)....Pages 633-653 Securing DNSSEC Keys via Threshold ECDSA from Generic MPC (Anders Dalskov, Claudio Orlandi, Marcel Keller, Kris Shrishak, Haya Shulman)....Pages 654-673 On Private Information Retrieval Supporting Range Queries (Junichiro Hayata, Jacob C. N. Schuldt, Goichiro Hanaoka, Kanta Matsuura)....Pages 674-694 Front Matter ....Pages 695-695 2-hop Blockchain: Combining Proof-of-Work and Proof-of-Stake Securely (Tuyet Duong, Lei Fan, Jonathan Katz, Phuc Thai, Hong-Sheng Zhou)....Pages 697-712 Generic Superlight Client for Permissionless Blockchains (Yuan Lu, Qiang Tang, Guiling Wang)....Pages 713-733 LNBot: A Covert Hybrid Botnet on Bitcoin Lightning Network for Fun and Profit (Ahmet Kurt, Enes Erdin, Mumin Cebe, Kemal Akkaya, A. Selcuk Uluagac)....Pages 734-755 Back Matter ....Pages 757-760