A Complete Axiomatization of Knowledge and Cryptography.

Mika Cohen, Mads Dam

Browse the full LICS paper archive.