Computational Soundness about Formal Encryption in the Presence of Secret Shares and Key Cycles.

Xinfeng Lei, Rui Xue, Ting Yu

Browse the full ICICS paper archive.