Linicrypt: A Model for Practical Cryptography.

Brent Carmer, Mike Rosulek

Browse the full CRYPTO paper archive.