3 papers
quant-ph2026
Certified-Everlasting Quantum NIZK Proofs
Nikhil Pappu
We study non-interactive zero-knowledge proofs (NIZKs) for NP satisfying: 1) statistical soundness, 2) computational zero-knowledge and 3) certified-everlasting zero-knowledge (CE-…
quant-ph2025
Collusion-Resistant Quantum Secure Key Leasing Beyond Decryption
Fuyuki Kitagawa, Ryo Nishimaki, Nikhil Pappu
Secure key leasing (SKL) enables the holder of a secret key for a cryptographic function to temporarily lease the key using quantum information. Later, the recipient can produce a…
cs.CR2025
PKE and ABE with Collusion-Resistant Secure Key Leasing
Fuyuki Kitagawa, Ryo Nishimaki, Nikhil Pappu
Secure key leasing (SKL) is an advanced encryption functionality that allows a secret key holder to generate a quantum decryption key and securely lease it to a user. Once the user…