Linicrypt in the Ideal Cipher Model.

Zahra Javar, Bruce M. Kapron

Browse the full ProvSec paper archive.