Sound Computational Interpretation of Formal Encryption with Composed Keys.

Peeter Laud, Ricardo Corin

Browse the full ICISC paper archive.