Automation of Quantitative Information-Flow Analysis | Publicación