Advances in Information and Computer Security

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.