Shorter Circuit Obfuscation in Challenging Security Models. - Zvika Brakerski; Or Dagmi (IACR Cryptol. ePrint Arch., 2016)