This book constitutes the revised selected papers of the 9th International Workshop on Data Priva...

This book constitutes the refereed proceedings of the 7th IFIP WG 11.11 International Conference ...

FOSAD has been one of the foremost educational events established with the goal of disseminating ...

Second International Workshop on Formal Aspects in Security and Trust is an essential reference f...

This State-of-the-Art Survey contains a selection of papers representing state-of-the-art results...

This book constitutes the revised selected papers of the 10th International Workshop on Data Priv...

This book constitutes the refereed proceedings of the 11th International Workshop on Data Privacy...

The present volume contains the proceedings of the 5th International Workshop on Formal Aspects i...

This book constitutes the refereed proceedings of the 17th European Symposium on Computer Securit...

Strategic Games on Defense Trees.- Timed Calculus of Cryptographic Communication.- A Semantic Par...

This volume constitutes the proceedings of the 4th International Conference on Trust Management, ...

FOSAD has been one of the foremost educational events established with the goal of disseminating ...