Advances in Information and Computer Security [electronic resource] : 8th International Workshop on Security, IWSEC 2013, Okinawa, Japan, November 18-20, 2013, Proceedings / edited by Kazuo Sakiyama, Masayuki Terada.

Software and System Security -- Secure Log Transfer by Replacing a Library in a Virtual Machine -- Static Integer Overflow Vulnerability Detection in Windows Binary -- Solving Google's Continuous Audio CAPTCHA with HMM-Based Automatic Speech Recognition -- Constructions of Almost Secure Frameproof Codes Based on Small-Bias Probability Spaces -- Cryptanalysis -- Differential Power Analysis of MAC-Keccak at Any Key-Length -- Generic State-Recovery and Forgery Attacks on ChopMD-MAC and on NMAC/HMAC -- New Property of Diffusion Switching Mechanism on CLEFIA and Its Application to DFA -- Improvement of Faug`ere et al.'s Method to Solve ECDLP -- Privacy and Cloud Computing -- Statistics on Encrypted Cloud Data -- Toward Practical Searchable Symmetric Encryption -- Unconditionally Secure Oblivious Transfer from Real Network Behavior -- Cryptographically-Secure and Efficient Remote Cancelable Biometrics Based on Public-Key Homomorphic Encryption -- Public Key Cryptosystems -- Efficient Algorithm for Tate Pairing of Composite Order -- How to Factor N1 and N2 When p1 = p2 mod 2t -- Achieving Chosen Ciphertext Security from Detectable Public Key Encryption Efficiently via Hybrid Encryption -- Cryptanalysis of the Quaternion Rainbow -- Security Protocols -- On Cheater Identifiable Secret Sharing Schemes Secure against Rushing Adversary -- One-Round Authenticated Key Exchange without Implementation Trick -- Attacks to the Proxy Re-Encryption Schemes from IWSEC2011 -- Game-Theoretic Security for Bit Commitment.