Linicrypt  A Model for Practical Cryptography
Channel: IACR
Date: 2016-09-27

Brent Carmer and Mike Rosulek, Crypto 2016. See http://www.iacr.org/cryptodb/data/paper.php?pubkey=27656