Provable Security: 9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings

Front Matter....Pages I-XIX
Front Matter....Pages 1-1
On Privacy for RFID....Pages 3-20
Front Matter....Pages 21-21
From Stateful Hardware to Resettable Hardware Using Symmetric Assumptions....Pages 23-42
Constrained Verifiable Random Functions from Indistinguishability Obfuscation....Pages 43-60
An Improved Attack for Recovering Noisy RSA Secret Keys and Its Countermeasure....Pages 61-81
Front Matter....Pages 83-83
Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer....Pages 85-104
Sound Proof of Proximity of Knowledge....Pages 105-126
Multi-party Computation with Small Shuffle Complexity Using Regular Polygon Cards....Pages 127-146
Front Matter....Pages 147-147
Forward-Secure Authenticated Symmetric Key Exchange Protocol: New Security Model and Secure Construction....Pages 149-166
Full PRF-Secure Message Authentication Code Based on Tweakable Block Cipher....Pages 167-182
Efficient Key Authentication Service for Secure End-to-End Communications....Pages 183-197
PPAE: Practical Parazoa Authenticated Encryption Family....Pages 198-211
Front Matter....Pages 213-213
Lightweight Anonymous Authentication for Ad Hoc Group: A Ring Signature Approach....Pages 215-226
Reset-Secure Identity-Based Identification Schemes Without Pairings....Pages 227-246
Attribute-Based Encryption for Finite Automata from LWE....Pages 247-267
Functional Signcryption: Notion, Construction, and Applications....Pages 268-288
Front Matter....Pages 289-289
BetterTimes....Pages 291-309
Provably Secure Identity Based Provable Data Possession....Pages 310-325
Efficient Private Set Intersection Cardinality in the Presence of Malicious Adversaries....Pages 326-339
A Formal Dynamic Verification of Choreographed Web Services Conversations....Pages 340-353
Efficient Unconditionally Secure Comparison and Privacy Preserving Machine Learning Classification Protocols....Pages 354-367
Front Matter....Pages 369-369
Attribute-Based Encryption Resilient to Auxiliary Input....Pages 371-390
On Provable Security of wPRF-Based Leakage-Resilient Stream Ciphers....Pages 391-411
Tighter Security for Efficient Lattice Cryptography via the Rényi Divergence of Optimized Orders....Pages 412-431
Front Matter....Pages 433-433
Black-Box Separations of Hash-and-Sign Signatures in the Non-Programmable Random Oracle Model....Pages 435-454
Rethinking Privacy for Extended Sanitizable Signatures and a Black-Box Construction of Strongly Private Schemes....Pages 455-474
Unique Signature with Short Output from CDH Assumption....Pages 475-488
Constructions of Unconditionally Secure Broadcast Encryption from Key Predistribution Systems with Trade-Offs Between Communication and Storage....Pages 489-502
Back Matter....Pages 503-504