The webpage about quantiative information flow and our Flowcheck tool has moved to the University of Minnesota along with the ongoing research. See:
Quantitative information flow measurement and FlowcheckThis page will also automatically redirect there in a few seconds. For historical interest the old version of this page is still available at CSAIL.