Key points are not available for this paper at this time.
Abstract We present a new technique for determining how much informationabout a programs secret inputs is revealed by its public outputs. In
McCamant et al. (Sat,) studied this question.