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...
These proceedings contain the papers selected for presentation at the 4th Wo- shop on Information...
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 ...