A Computational Indistinguishability Logic for the Bounded Storage Model | Publicación