This book constitutes the refereed proceedings of the 9th International Conference on Security, P...

This book constitutes revised selected papers from the 11th International Workshop on Constructiv...

This book constitutes the proceedings of the 22nd International Conference on Smart Card Research...

The two-volume proceedings constitutes the refereed proceedings of the 24th International Confere...

The two-volume proceedings constitutes the refereed proceedings of the 24th International Confere...

This book presents a collection of automated methods that are useful for different aspects of fau...