1 Table of Contents: “... and Optimization of Cryptographically Generated Addresses -- Security Analysis of the PACE Key-Agreement Protocol...”

2 Subjects: “...Data and Information Security...”

3 Subjects: “...Data and Information Security...”

4 Table of Contents: “...Formal Certification of ElGamal Encryption -- Secure Information Flow as a Safety Property -- Who...”

5 Table of Contents: “... Paradigm for Component-Based Specification Integrating a Notion of Security Risk -- Game-Based Criterion...”

6 Table of Contents: “... to Check Secure Information Flow in Programs with Input-Output Security Annotations -- Opacity Generalised...”

7 Subjects: “...Data and Information Security...”

8 Table of Contents: “...Security Issues in the Tuple-Space Coordination Model -- Information Flow Analysis...”

9 Subjects: “...Data and Information Security...”

10 Table of Contents: “...Model-Based Testing for Functional and Security Test Generation -- Model-Based Security Engineering...”

11 Table of Contents: “...A Structured Comparison of Security Standards -- Empirical Assessment of Security Requirements...”

12 Table of Contents: “...1. Collaborative and confidential architectures for information sharing and analytics -- 2. Secure...”

13 Table of Contents: “...Symbolic Privacy Analysis through Linkability and Detectability -- Middleware-Based Security...”

14 Table of Contents: “...-Driven Trust Framework for Secure Interoperation in Open Environments -- Normative Structures in Trust...”

15 Table of Contents: “...A Practice-Oriented, Control-Flow-Based Anomaly Detection Approach for Internal Process Audits...”