• Calculating information leakage using model checking tools 

    Chen, Jia (University of Missouri--Columbia, 2014)
    A confidential program should not allow any information about its secret inputs to be inferred from its public outputs. As such confidentiality is difficult to achieve in practice, it has been proposed in literature to ...