@misc{cryptoeprint:2016:548, author = {Brent Carmer and Mike Rosulek}, title = {Linicrypt: A Model for Practical Cryptography}, howpublished = {Cryptology ePrint Archive, Report 2016/548}, year = {2016}, url = {https://eprint.iacr.org/2016/548}, }