Organisation : Security Reasoning and Validation Research Group (SERVAL)