\input zb-basic
\input zb-ioport
\iteman{io-port 70933082}
\itemau{Kenthapadi, Krishnaram; Mishra, Nina; Nissim, Kobbi}
\itemti{Simulatable auditing}
\itemso{PODS, 118-127 (2005).}
\itemcc{}
\itemut{}
\itemli{doi:10.1145/1065167.1065183}
\end