flagship European Symposium on Research in Computer Security. This book discusses how