Stefan Dziembowski Ueli M. Maurer Tight security proofs for the bounded-storage model. 341-350 2002 STOC http://doi.acm.org/10.1145/509907.509960 db/conf/stoc/stoc2002.html#DziembowskiM02