Applied Cryptography and Network Security: 16th International Conference, ACNS 2018, Leuven, Belgium, July 2-4, 2018, Proceedings (Lecture Notes in Computer Science Book 10892)

This book constitutes the refereed proceedings of the 16th International Conference on on Applied Cryptography and Network Security, ACNS 2018, held in Leuven, Belgium, in July 2018. The 36 revised full papers presented were carefully reviewed and selected from 173 submissions. The papers were organized in topical sections named: Cryptographic Protocols; Side Channel Attacks and Tamper Resistance; Digital Signatures; Privacy Preserving Computation; Multi-party Computation; Symmetric Key Primitives; Symmetric Key Primitives; Symmetric Key Cryptanalysis; Public Key Encryption; Authentication and Biometrics; Cloud and Peer-to-peer Security. Front Matter ....Pages I-XIV Front Matter ....Pages 1-1 A Cryptographic Analysis of the WireGuard Protocol (Benjamin Dowling, Kenneth G. Paterson)....Pages 3-21 Distributed SSH Key Management with Proactive RSA Threshold Signatures (Yotam Harchol, Ittai Abraham, Benny Pinkas)....Pages 22-43 Non-interactive Zaps of Knowledge (Georg Fuchsbauer, Michele Orrù)....Pages 44-62 Front Matter ....Pages 63-63 Formal Verification of Side-Channel Countermeasures via Elementary Circuit Transformations (Jean-Sébastien Coron)....Pages 65-82 Drive-By Key-Extraction Cache Attacks from Portable Code (Daniel Genkin, Lev Pachmanov, Eran Tromer, Yuval Yarom)....Pages 83-102 On the Ineffectiveness of Internal Encodings - Revisiting the DCA Attack on White-Box Cryptography (Estuardo Alpirez Bock, Chris Brzuska, Wil Michiels, Alexander Treff)....Pages 103-120 Continuously Non-malleable Codes with Split-State Refresh (Antonio Faonio, Jesper Buus Nielsen, Mark Simkin, Daniele Venturi)....Pages 121-139 Front Matter ....Pages 141-141 Efficient Unconditionally Secure Signatures Using Universal Hashing (Ryan Amiri, Aysajan Abidin, Petros Wallden, Erika Andersson)....Pages 143-162 Floppy-Sized Group Signatures from Lattices (Cecilia Boschini, Jan Camenisch, Gregory Neven)....Pages 163-182 On the Security Notions for Homomorphic Signatures (Dario Catalano, Dario Fiore, Luca Nizzardo)....Pages 183-201 Invisible Sanitizable Signatures and Public-Key Encryption are Equivalent (Marc Fischlin, Patrick Harasser)....Pages 202-220 Delegatable Attribute-Based Anonymous Credentials from Dynamically Malleable Signatures (Johannes Blömer, Jan Bobolz)....Pages 221-239 Front Matter ....Pages 241-241 Privacy-Preserving Ridge Regression with only Linearly-Homomorphic Encryption (Irene Giacomelli, Somesh Jha, Marc Joye, C. David Page, Kyonghwan Yoon)....Pages 243-261 Privacy-Preserving Plaintext-Equality of Low-Entropy Inputs (Sébastien Canard, David Pointcheval, Quentin Santos, Jacques Traoré)....Pages 262-279 Nothing Refreshes Like a RePSI: Reactive Private Set Intersection (Andrea Cerulli, Emiliano De Cristofaro, Claudio Soriente)....Pages 280-300 Front Matter ....Pages 301-301 New Protocols for Secure Equality Test and Comparison (Geoffroy Couteau)....Pages 303-320 Minimising Communication in Honest-Majority MPC by Batchwise Multiplication Verification (Peter Sebastian Nordholt, Meilof Veeningen)....Pages 321-339 Best of Both Worlds in Secure Computation, with Low Communication Overhead (Daniel Genkin, S. Dov Gordon, Samuel Ranellucci)....Pages 340-359 3PC ORAM with Low Latency, Low Bandwidth, and Fast Batch Retrieval (Stanislaw Jarecki, Boyang Wei)....Pages 360-378 Front Matter ....Pages 379-379 MergeMAC: A MAC for Authentication with Strict Time Constraints and Limited Bandwidth (Ralph Ankele, Florian Böhl, Simon Friedberger)....Pages 381-399 KangarooTwelve: Fast Hashing Based on \({\textsc {Keccak}\text {-}p}{}\) (Guido Bertoni, Joan Daemen, Michaël Peeters, Gilles Van Assche, Ronny Van Keer, Benoît Viguier)....Pages 400-418 Front Matter ....Pages 419-419 Related-Key Boomerang Attacks on Full ANU Lightweight Block Cipher (Yu Sasaki)....Pages 421-439 Generic Round-Function-Recovery Attacks for Feistel Networks over Small Domains (F. Betül Durak, Serge Vaudenay)....Pages 440-458 Differential Cryptanalysis of Round-Reduced Sparx-64/128 (Ralph Ankele, Eik List)....Pages 459-475 Can Caesar Beat Galois? (Serge Vaudenay, Damian Vizár)....Pages 476-494 Front Matter ....Pages 495-495 Improved Anonymous Broadcast Encryptions (Jiangtao Li, Junqing Gong)....Pages 497-515 Time-Based Direct Revocable Ciphertext-Policy Attribute-Based Encryption with Short Revocation List (Joseph K. Liu, Tsz Hon Yuen, Peng Zhang, Kaitai Liang)....Pages 516-534 Almost Tight Multi-Instance Multi-Ciphertext Identity-Based Encryption on Lattices (Xavier Boyen, Qinyi Li)....Pages 535-553 Front Matter ....Pages 555-555 In-Region Authentication (Mamunur Rashid Akand, Reihaneh Safavi-Naini)....Pages 557-578 Formal Analysis of Distance Bounding with Secure Hardware (Handan Kılınç, Serge Vaudenay)....Pages 579-597 KRB-CCN: Lightweight Authentication and Access Control for Private Content-Centric Networks (Ivan O. Nunes, Gene Tsudik)....Pages 598-615 Assentication: User De-authentication and Lunchtime Attack Mitigation with Seated Posture Biometric (Tyler Kaczmarek, Ercan Ozturk, Gene Tsudik)....Pages 616-633 Front Matter ....Pages 635-635 Stateful Multi-client Verifiable Computation (Christian Cachin, Esha Ghosh, Dimitrios Papadopoulos, Björn Tackmann)....Pages 637-656 VeriCount: Verifiable Resource Accounting Using Hardware and Software Isolation (Shruti Tople, Soyeon Park, Min Suk Kang, Prateek Saxena)....Pages 657-677 Message-Locked Encryption with File Update (Suyash Kandele, Souradyuti Paul)....Pages 678-695 DogFish: Decentralized Optimistic Game-theoretic FIle SHaring (Seny Kamara, Alptekin Küpçü)....Pages 696-714 Back Matter ....Pages 715-716