On Best-Possible One-Time Programs
تثبت هذه الورقة استحالة وجود برامج أحادية الاستخدام مثالية بشكل عام، ثم تقدم وتنشئ برامج "قابلة للاختبار" أحادية الاستخدام لأي وظائف كمومية في النموذج الكلاسيكي للأوراكل (oracle model) عبر الاستفادة من أمن الاستعلام الفعال المنفرد المعمم (Single-Effective-Query security) والتعمية غير القابلة للتمييز للحالة الكمومية (stateful quantum indistinguishability obfuscation).