ISSN: 2182-2069 (printed) / ISSN: 2182-2077 (online)
Guest Editorial: Special Issue on Provable Security
VDC-Based Dynamic Code Analysis: Application to C Programs
Algorithm for Generating Primes for the Giuliani-Gong Public Key System
An eCK-Secure One Round Authenticated Key Exchange Protocol with Perfect Forward Security
A Novel Multi-factor Authenticated Key Exchange Scheme With Privacy Preserving
Programmability in the Generic Ring and Group Models
General Construction of Chameleon All-But-OneTrapdoor Functions
A Novel Framework for Protocol Analysis
TMQV: A Strongly eCK-secure Diffie-Hellman Protocol without Gap Assumption
On the (Im)possibility Results for Strong Attack Models for Public Key Cryptsystems
Improving the Security of an Efficient Unidirectional Proxy Re-Encryption Scheme