This book constitutes the revised selected papers of the 9th International Workshop on Data Priva...
This volume constitutes the refereed proceedings of the 6th IFIP WG 11.2 International Workshop o...
This book comprises a strictly refereed selection of papers presented at three international work...
This volume constitutes the proceedings of the 4th International Workshop on Theorem Proving with...
Embedded Security.- Efficient and Effective Buffer Overflow Protection on ARM Processors.- Effici...
This book constitutes the proceedings of the 19th International Workshop on Security and Trust Ma...
The three-volume set LNCS 16231, LNCS 16232, and LNCS 16233 constitutes the refereed proceedings ...