Krishnaram Kenthapadi Nina Mishra Kobbi Nissim Simulatable auditing. 118-127 2005 conf/pods/2005 PODS http://doi.acm.org/10.1145/1065167.1065183 db/conf/pods/pods2005.html#KenthapadiMN05