Information Security: 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings

Front Matter....Pages I-XIV
Front Matter....Pages 1-1
Integrity Checking of Function Pointers in Kernel Pools via Virtual Machine Introspection....Pages 3-19
Lightweight Attestation and Secure Code Update for Multiple Separated Microkernel Tasks....Pages 20-36
Front Matter....Pages 37-37
The Security Defect of a Multi-pixel Encoding Method....Pages 39-48
Encrypted Secret Sharing and Analysis by Plaintext Randomization....Pages 49-65
Front Matter....Pages 67-67
Round-Efficient Private Stable Matching from Additive Homomorphic Encryption....Pages 69-86
Efficient and Fully Secure Forward Secure Ciphertext-Policy Attribute-Based Encryption....Pages 87-99
Reducing Public Key Sizes in Bounded CCA-Secure KEMs with Optimal Ciphertext Length....Pages 100-109
Front Matter....Pages 111-111
4GMOP: Mopping Malware Initiated SMS Traffic in Mobile Networks....Pages 113-129
Design and Analysis of a Sophisticated Malware Attack Against Smart Grid....Pages 130-139
Multi-round Attacks on Structural Controllability Properties for Non-complete Random Graphs....Pages 140-151
Front Matter....Pages 153-153
Improved Meet-in-the-Middle Attacks on Round-Reduced ARIA....Pages 155-168
Establishing Equations: The Complexity of Algebraic and Fast Algebraic Attacks Revisited....Pages 169-184
Factoring a Multiprime Modulus N with Random Bits....Pages 185-196
Front Matter....Pages 197-197
Faster 128-EEA3 and 128-EIA3 Software....Pages 199-208
Merging the Camellia, SMS4 and AES S-Boxes in a Single S-Box with Composite Bases....Pages 209-217
Front Matter....Pages 219-219
Offline Dictionary Attack on Password Authentication Schemes Using Smart Cards....Pages 221-237
Self-blindable Credential: Towards Anonymous Entity Authentication Upon Resource Constrained Devices....Pages 238-247
Practical and Provably Secure Distance-Bounding....Pages 248-258
Front Matter....Pages 259-259
On the Viability of CAPTCHAs for use in Telephony Systems: A Usability Field Study....Pages 261-279
Cars, Condoms, and Facebook....Pages 280-289
Front Matter....Pages 291-291
Achieving Revocable Fine-Grained Cryptographic Access Control over Cloud Data....Pages 293-308
Fine-Grained Access Control for HTML5-Based Mobile Applications in Android....Pages 309-318
Front Matter....Pages 319-319
CrowdFlow: Efficient Information Flow Security....Pages 321-337
Front Matter....Pages 339-339
DroidTest: Testing Android Applications for Leakage of Private Information....Pages 341-353
A Dangerous Mix: Large-Scale Analysis of Mixed-Content Websites....Pages 354-363
Front Matter....Pages 365-365
An Ordered Multisignature Scheme Under the CDH Assumption Without Random Oracles....Pages 367-377
Human Assisted Randomness Generation Using Video Games....Pages 378-390
Security Ranking Among Assumptions Within the Uber Assumption Framework....Pages 391-406
A Secure and Efficient Method for Scalar Multiplication on Supersingular Elliptic Curves over Binary Fields....Pages 407-416
Back Matter....Pages 417-418