FOSAD International School on Foundations of Security Analysis and Design