Full text 

Table of Contents: “... Framework for the Cryptographic Verification of Java Programs -- Compiling CAO: From Cryptographic Specifications to C Implementations -- Decentralized Composite Access Control -- Temporal Logics for Hyperproperties -- Time-Dependent Analysis of Attacks....”

Full text 

Full text 

Table of Contents: “...Symmetric-key cryptography -- Public-key cryptography -- Algorithmic cryptanalysis -- Software and hardware implementation of cryptographic algorithms -- Database encryption -- Interaction between cryptographic theory and implementation issues -- Cyber...”

Full text 

Table of Contents: “...Cryptographic Schemas and Protocols -- Efficient Public Key Encryption Admitting Decryption by Sender -- Public Key Infrastructure -- How to Avoid the Breakdown of Public Key Infrastructures Forward Secure Signatures for Certificate Authorities...”

Full text 

Table of Contents: “... -- 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...”

Full text 

Table of Contents: “...Personal Tributes -- Computational Number Theory -- Hardness of Cryptographic Assumptions -- Hardware Security -- Privacy and Security -- Application Security....”

Full text 

Table of Contents: “...Message Authentication Codes -- Signatures -- Cryptography Based Upon Physical Assumptions -- Multi-Party Computation -- Cryptographic Primitives -- Analysis, Cryptanalysis and Passwords -- Leakage-Resilient Cryptography -- Two-Party Computation -- Hash...”

Full text 

Table of Contents: “...Message Authentication Codes -- Signatures -- Cryptography Based Upon Physical Assumptions -- Multi-Party Computation -- Cryptographic Primitives -- Analysis, Cryptanalysis and Passwords -- Leakage-Resilient Cryptography -- Two-Party Computation -- Hash...”

Full text 

Table of Contents: “... Information Leakage on Social Network Services: A Case Study on Twitter.- On the Efficiency Modelling of Cryptographic Protocols by Means of the Quality of Protection Modelling Language (QoP-ML).- DiffSig: Resource Differentiation Based Malware Behavioral Concise...”

Full text 

Table of Contents: “... Unification Paradigm for Cryptographic Protocol Analysis -- Hierarchical Combination -- PRocH: Proof Reconstruction for HOL Light -- An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description -- Towards Modularly Comparing Programs...”

Full text 

Full text 

Table of Contents: “... -- On the Dissimilarity Representation and Prototype Selection for Signature-Based Bio-cryptographic Systems -- A Repeated Local Search Algorithm for BiClustering of Gene Expression Data....”

Full text 

Full text 

Full text 

Table of Contents: “...Attack and defense -- Software and Web security -- Cryptanalysis -- Cryptographic protocol -- Identity-based encryption -- Efficient implementation -- Cloud computing security -- Side channel analysis -- Digital signature -- Privacy enhancement....”

Full text 

Table of Contents: “... with Message Recovery -- Improving the Message-ciphertext Rate of Lewko's Fully Secure IBE Scheme -- Cryptographic Primitives Accountable Trapdoor Sanitizable Signatures -- A Conditional Proxy Broadcast Re-Encryption Scheme Supporting Timed-Release -- About Hash...”

Full text 

Table of Contents: “... Power Residue Symbols -- Deterministic Public-Key Encryption for Adaptively Chosen Plaintext Distributions -- How to Watermark Cryptographic Functions -- Security Evaluations beyond Computing Power: How to Analyze Side-Channel Attacks You Cannot Mount...”

Full text 

Table of Contents: “...Cryptography and Cryptanalysis -- Multiplicative Homomorphic E-Auction with Formally Provable Security -- Malleable Signatures for Resource Constrained Platforms -- Cryptographic Key Exchange in IPv6-Based Low Power, Lossy Networks -- Mobile Security...”

Full text 

Full text