@CONFERENCE\{IMM2005-04329,
    author       = "T. K. Tolstrup and F. Nielson and H. Riis Nielson",
    title        = "Information Flow Analysis for {VHDL}",
    year         = "2005",
    booktitle    = "Parallel Computing Technoligies",
    volume       = "",
    series       = "Lecture Notes in Computer Science",
    editor       = "",
    publisher    = "Springer",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/4329-full.html",
    abstract     = "We describe a fragment of the hardware description language {VHDL} that is suitable for implementing the Advanced Encryption Standard algorithm. We then define an Information Flow analysis as required by the international standard Common Criteria. The goal of the analysis is to identify the entire information flow through the {VHDL} program. The result of the analysis is presented as a non-transitive directed graph that connects those nodes (representing either variables or signals) where an information flow might occur. We compare our approach to that of Kemmerer and conclude that our approach yields more precise results."
}