ADTool: Security Analysis with Attack-Defense Trees (Extended Version)
Practical security analysis of e-voting systems