Advances in Information and Computer Security

Description

This book constitutes the refereed proceedings of the 13th International Workshop on Security, IWSEC 2018, held in Sendai, Japan, in September 2018. The 18 regular papers and 2 short papers presented in this volume were carefully reviewed and selected from 64 submissions. They were organized in topical sections named: Cryptanalysis, Implementation Security, Public-Key Primitives, Security in Practice, Secret Sharing, Symmetric-Key Primitives, and Provable Security. Front Matter ....Pages I-XII Front Matter ....Pages 1-1 Chosen Message Attack on Multivariate Signature ELSA at Asiacrypt 2017 (Yasufumi Hashimoto, Yasuhiko Ikematsu, Tsuyoshi Takagi)....Pages 3-18 Key Recovery Attack on McNie Based on Low Rank Parity Check Codes and Its Reparation (Terry Shue Chien Lau, Chik How Tan)....Pages 19-34 Inference Attacks on Encrypted Databases Based on Order Preserving Assignment Problem (Sota Onozawa, Noboru Kunihiro, Masayuki Yoshino, Ken Naganuma)....Pages 35-47 Front Matter ....Pages 49-49 Entropy Reduction for the Correlation-Enhanced Power Analysis Collision Attack (Andreas Wiemers, Dominik Klein)....Pages 51-67 Safe Trans Loader: Mitigation and Prevention of Memory Corruption Attacks for Released Binaries (Takamichi Saito, Masahiro Yokoyama, Shota Sugawara, Kuniyasu Suzaki)....Pages 68-83 Front Matter ....Pages 85-85 Estimated Cost for Solving Generalized Learning with Errors Problem via Embedding Techniques (Weiyao Wang, Yuntao Wang, Atsushi Takayasu, Tsuyoshi Takagi)....Pages 87-103 (Short Paper) How to Solve DLOG Problem with Auxiliary Input (Akinaga Ueda, Hayato Tada, Kaoru Kurosawa)....Pages 104-113 (Short Paper) Parameter Trade-Offs for NFS and ECM (Kazumaro Aoki)....Pages 114-123 Front Matter ....Pages 125-125 Is Java Card Ready for Hash-Based Signatures? (Ebo van der Laan, Erik Poll, Joost Rijneveld, Joeri de Ruiter, Peter Schwabe, Jan Verschuren)....Pages 127-142 Detecting Privacy Information Abuse by Android Apps from API Call Logs (Katsutaka Ito, Hirokazu Hasegawa, Yukiko Yamaguchi, Hajime Shimada)....Pages 143-157 Verification of LINE Encryption Version 1.0 Using ProVerif (Cheng Shi, Kazuki Yoneyama)....Pages 158-173 The Anatomy of the HIPAA Privacy Rule: A Risk-Based Approach as a Remedy for Privacy-Preserving Data Sharing (Makoto Iguchi, Taro Uematsu, Tatsuro Fujii)....Pages 174-189 Front Matter ....Pages 191-191 Improvements to Almost Optimum Secret Sharing with Cheating Detection (Louis Cianciullo, Hossein Ghodosi)....Pages 193-205 XOR-Based Hierarchical Secret Sharing Scheme (Koji Shima, Hiroshi Doi)....Pages 206-223 Front Matter ....Pages 225-225 Integer Linear Programming for Three-Subset Meet-in-the-Middle Attacks: Application to GIFT (Yu Sasaki)....Pages 227-243 Symbolic-Like Computation and Conditional Differential Cryptanalysis of QUARK (Jingchun Yang, Meicheng Liu, Dongdai Lin, Wenhao Wang)....Pages 244-261 Lightweight Recursive MDS Matrices with Generalized Feistel Network (Qiuping Li, Baofeng Wu, Zhuojun Liu)....Pages 262-278 Front Matter ....Pages 279-279 How to Prove KDM Security of BHHO (Hayato Tada, Akinaga Ueda, Kaoru Kurosawa)....Pages 281-296 From Identification Using Rejection Sampling to Signatures via the Fiat-Shamir Transform: Application to the BLISS Signature (Pauline Bert, Adeline Roux-Langlois)....Pages 297-312 Universal Witness Signatures (Chen Qian, Mehdi Tibouchi, Rémi Géraud)....Pages 313-329 Back Matter ....Pages 331-331