Finding a Middle Ground for Computer-Aided Cryptography. - Evan Austin; Scott C. Batson; Peter Curry; Bryan Williams (ICMS, 2018)