Advances in Information and Computer Security

1. Front Matter

   PDF

2. Software and System Security

   1. Secure Log Transfer by Replacing a Library in a Virtual Machine

      • Masaya Sato, Toshihiro Yamauchi

      Pages 1-18

   2. Static Integer Overflow Vulnerability Detection in Windows Binary

      • Yi Deng, Yang Zhang, Liang Cheng, Xiaoshan Sun

      Pages 19-35

   3. Solving Google’s Continuous Audio CAPTCHA with HMM-Based Automatic Speech Recognition

      • Shotaro Sano, Takuma Otsuka, Hiroshi G. Okuno

      Pages 36-52

   4. Constructions of Almost Secure Frameproof Codes Based on Small-Bias Probability Spaces

      • José Moreira, Marcel Fernández, Grigory Kabatiansky

      Pages 53-67

3. Cryptanalysis

   1. Differential Power Analysis of MAC-Keccak at Any Key-Length

      • Mostafa Taha, Patrick Schaumont

      Pages 68-82

   2. Generic State-Recovery and Forgery Attacks on ChopMD-MAC and on NMAC/HMAC

      • Yusuke Naito, Yu Sasaki, Lei Wang, Kan Yasuda

      Pages 83-98

   3. New Property of Diffusion Switching Mechanism on CLEFIA and Its Application to DFA

      • Yosuke Todo, Yu Sasaki

      Pages 99-114

   4. Improvement of Faugère et al.’s Method to Solve ECDLP

      • Yun-Ju Huang, Christophe Petit, Naoyuki Shinohara, Tsuyoshi Takagi

      Pages 115-132

4. Privacy and Cloud Computing

   1. Statistics on Encrypted Cloud Data

      • Fu-Kuo Tseng, Yung-Hsiang Liu, Rong-Jaye Chen, Bao-Shuh Paul Lin

      Pages 133-150

   2. Toward Practical Searchable Symmetric Encryption

      • Wakaha Ogata, Keita Koiwa, Akira Kanaoka, Shin’ichiro Matsuo

      Pages 151-167

   3. Unconditionally Secure Oblivious Transfer from Real Network Behavior

      • Paolo Palmieri, Olivier Pereira

      Pages 168-182

   4. Cryptographically-Secure and Efficient Remote Cancelable Biometrics Based on Public-Key Homomorphic Encryption

      • Takato Hirano, Mitsuhiro Hattori, Takashi Ito, Nori Matsuda

      Pages 183-200

5. Public Key Cryptosystems

   1. Efficient Algorithm for Tate Pairing of Composite Order

      • Yutaro Kiyomura, Tsuyoshi Takagi

      Pages 201-216

   2. How to Factor N ₁ and N ₂ When \(p_1=p_2 \bmod 2^t\)

      • Kaoru Kurosawa, Takuma Ueda

      Pages 217-225

   3. Achieving Chosen Ciphertext Security from Detectable Public Key Encryption Efficiently via Hybrid Encryption

      • Takahiro Matsuda, Goichiro Hanaoka

      Pages 226-243

   4. Cryptanalysis of the Quaternion Rainbow

      • Yasufumi Hashimoto

      Pages 244-257

6. Security Protocols

   1. On Cheater Identifiable Secret Sharing Schemes Secure against Rushing Adversary

      • Rui Xu, Kirill Morozov, Tsuyoshi Takagi

      Pages 258-271

   2. One-Round Authenticated Key Exchange without Implementation Trick

      • Kazuki Yoneyama

      Pages 272-289

   3. Attacks to the Proxy Re-Encryption Schemes from IWSEC2011

      • Toshiyuki Isshiki, Manh Ha Nguyen, Keisuke Tanaka

      Pages 290-302

This book constitutes the refereed proceedings of the 8th International Workshop on Security, IWSEC 2013, held in Okinawa, Japan, in November 2013. The 20 revised selected papers presented in this volume were carefully reviewed and selected from 63 submissions. They are organized in topical sections named: software and system security, cryptanalysis, privacy and cloud computing, public key cryptosystems, and security protocols.

• algorithms
• attacks
• ciphers
• distributed systems
• encryption
• algorithm analysis and problem complexity

• Department of Informatics, The University of Electro-Communications, Chofu, Japan

  Kazuo Sakiyama

• Research Laboratories, NTT DOCOMO, Inc., Kanagawa, Japan

  Masayuki Terada

Policies and ethics