Model-Based Conformance Testing for Android -- Application of Scalar Multiplication of Edwards Curves to Pairing-Based Cryptography -- Standardized Signature Algorithms on Ultra-constrained 4-Bit MCU -- Very Short Critical Path Implementation of AES with Direct Logic Gates -- One-Round Authenticated Key Exchange with Strong Forward Secrecy in the Standard Model against Constrained Adversary -- Compact Stateful Encryption Schemes with Ciphertext Verifiability -- Structured Encryption for Conceptual Graphs -- Symmetric-Key Encryption Scheme with Multi-ciphertext Non-malleability -- Slide Cryptanalysis of Lightweight Stream Cipher RAKAPOSHI -- Boomerang Distinguishers for Full HAS-160 Compression Function -- Polynomial-Advantage Cryptanalysis of 3D Cipher and 3D-Based Hash Function -- Annihilators of Fast Discrete Fourier Spectra Attacks -- Meet-in-the-Middle Attack on Reduced Versions of the Camellia Block Cipher -- Efficient Concurrent Oblivious Transfer in Super-Polynomial-Simulation Security -- Efficient Secure Primitive for Privacy Preserving Distributed Computations -- Generic Construction of GUC Secure Commitment in the KRK Model.

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.