0
talks
2
posters
0
committee roles
0
leadership roles
2024–2025
years active
Posters
| Title | Conference | Co-authors |
|---|---|---|
| Quantum Black-Box Separations: Succinct Non-Interactive Arguments from Falsifiable Assumptions | QIP 2025 | Gorjan Alagic, Dana Dachman-Soled, Patrick Struck |
| Verification of Spatially Distributed Entanglement | QCRYPT 2024 | Yusuf Alnawakhtha, Andrew Childs, Carl Miller |
Certifying the existence of entanglement between two parties is a fundamental problem in quantum information science. In this work, we develop a protocol for verifying that two parties located at specified positions share an entangled quantum state. We accomplish this by embedding the CHSH game in a quantum position verification protocol. This provides a form of entanglement testing that not only ensures that provers passing the protocol share entanglement, but that they are also located where they claim to be. This prevents parties from passing the verification test by simply forwarding the input of the verification protocol to other parties that share entanglement. The protocol has low requirements on the quantum computational abilities of honest provers---namely, it only requires the honest provers to manipulate two qubits each. It achieves security against adversaries located at incorrect positions that share at most a logarithmic amount of quantum memory with respect to the size of the classical input. |
||
Collaborators
| Co-author | Joint talks |
|---|---|
| Andrew Childs | 1 |
| Carl Miller | 1 |
| Dana Dachman-Soled | 1 |
| Gorjan Alagic | 1 |
| Patrick Struck | 1 |
| Yusuf Alnawakhtha | 1 |