The theme for the November 2017 conference was Striving for 100% Success Rate. Papers focus on the tools and techniques needed for maximizing the success rate i

This book constitutes the proceedings of the satellite workshops held around the 21st International Conference on Applied Cryptography and Network Security, ACN

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and syste

This book presents a collection of automated methods that are useful for different aspects of fault analysis in cryptography. The first part focuses on automate

This book constitutes the revised selected papers of the 14th International Symposium on Foundations and Practice of Security, FPS 2021, held in Paris, France,