no code implementations • 29 Jan 2021 • Anne Broadbent, Stacey Jeffery, Sébastien Lord, Supartha Podder, Aarthi Sundaram
Given a target circuit $C$ from a circuit class, SSL produces an encoding of $C$ that enables a recipient to evaluate $C$, and also enables the originator of the software to verify that the software has been returned -- meaning that the recipient has relinquished the possibility of any further use of the software.
Quantum Physics
no code implementations • 28 Dec 2012 • Gorjan Alagic, Stacey Jeffery, Stephen P. Jordan
Recent works have proposed the first efficient obfuscation algorithms for classical logic circuits, based on a notion of indistinguishability against polynomial-time adversaries.
Cryptography and Security Quantum Physics