Taming the adversary (2000)

by M Abadi
Venue:In Proc. of Crypto’00