Secure Software Leasing Without Assumptions

Password authentication schemes on a quantum computer

“…We test our implementation using the Honest-Malicious security model introduced in [2]. For a correctness check of our password authentication scheme, we use a simplified version of the game in [2]. The game occurs between a challenger and an evaluator.…”

“…The challenger prepares a copy-protected program using p as the key and sends it to an evaluator. The challenger then prepares a challenge input sampled from the challenge distribution given in [2]. This challenge distribution outputs:…”

“…Quantum copy-protection makes use of the theorem to construct programs that cannot be copied or pirated. In our work, we are interested in quantum copy-protection of point functions based on the recent work of Broadbent, Jeffery, Lord, Podder, and Sundaram [2]. Point functions are special functions that map n-bit strings to a 1-bit string.…”