Advances In Information And Computer Security: 7th International Workshop On Security, Iwsec 2012, Fukuoka, Japan, November 7-9, 2012, Proceedings (lecture Notes In Computer Science)

This book constitutes the refereed proceedings of the 7th International Workshop on Security, IWSEC 2012, held in Fukuoka, Japan, in November 2012. The 16 revised selected papers presented in this volume were carefully reviewed and selected from 53 submissions. They are organized in topical sections named: implementation; encryption and key exchange; cryptanalysis; and secure protocols. Front Matter....Pages - Model-Based Conformance Testing for Android....Pages 1-18 Application of Scalar Multiplication of Edwards Curves to Pairing-Based Cryptography....Pages 19-36 Standardized Signature Algorithms on Ultra-constrained 4-Bit MCU....Pages 37-50 Very Short Critical Path Implementation of AES with Direct Logic Gates....Pages 51-68 One-Round Authenticated Key Exchange with Strong Forward Secrecy in the Standard Model against Constrained Adversary....Pages 69-86 Compact Stateful Encryption Schemes with Ciphertext Verifiability....Pages 87-104 Structured Encryption for Conceptual Graphs....Pages 105-122 Symmetric-Key Encryption Scheme with Multi-ciphertext Non-malleability....Pages 123-137 Slide Cryptanalysis of Lightweight Stream Cipher RAKAPOSHI....Pages 138-155 Boomerang Distinguishers for Full HAS-160 Compression Function....Pages 156-169 Polynomial-Advantage Cryptanalysis of 3D Cipher and 3D-Based Hash Function....Pages 170-181 Annihilators of Fast Discrete Fourier Spectra Attacks....Pages 182-196 Meet-in-the-Middle Attack on Reduced Versions of the Camellia Block Cipher....Pages 197-215 Efficient Concurrent Oblivious Transfer in Super-Polynomial-Simulation Security....Pages 216-232 Efficient Secure Primitive for Privacy Preserving Distributed Computations....Pages 233-243 Generic Construction of GUC Secure Commitment in the KRK Model....Pages 244-260 Back Matter....Pages -