ByNobleID
    Quantitative models of information flow: tuning the power of the adversary | NobleID