A multi-flow information flow tracking approach for proving quantitative hardware security properties 09-03