QPV 2023: Advances in quantum position verification

Sep 18, 2023, 8:30 a.m. → Sep 22, 2023, 6:30 p.m. America/Toronto

Adrian Kent (University of Cambridge), Alex May (Perimeter Institute)

Quantum position verification (QPV) schemes use the properties of quantum information and the relativistic signalling bound to verify the location of an object (sometimes called a “tag”) to distant observers in an environment that may contain would-be spoofers. The guarantee is based on the assumptions of the underlying security model; various theoretically and practically interesting security models have been proposed. The area is attracting increasing interest, with new theoretical developments in security analyses, emerging experimental studies of QPV systems, and recently discovered surprising and intriguing connections to topics in quantum gravity. A workshop on QPV will be held at the Perimeter Institute for Theoretical Physics.

The workshop will cover topics related to all aspects of QPV, including, but not limited to:

• Theoretical developments related to the security of QPV schemes, including development or refinement of security models, proofs of security within given models, tradeoffs between security and efficiency, and Experimental studies of QPV and theoretical work aimed at developing practical QPV schemes.
• QPV’s relationship to other cryptographic tasks and primitives.
• QPV’s relationship to holography and quantum gravity.

 

Sponsored in part by:  

Territorial Land Acknowledgement

Perimeter Institute acknowledges that it is situated on the traditional territory of the Anishinaabe, Haudenosaunee, and Neutral peoples.

Perimeter Institute is located on the Haldimand Tract. After the American Revolution, the tract was granted by the British to the Six Nations of the Grand River and the Mississaugas of the Credit First Nation as compensation for their role in the war and for the loss of their traditional lands in upstate New York. Of the 950,000 acres granted to the Haudenosaunee, less than 5 percent remains Six Nations land. Only 6,100 acres remain Mississaugas of the Credit land. 

We thank the Anishinaabe, Haudenosaunee, and Neutral peoples for hosting us on their land.

Monday, September 18

8:30 a.m. → 9:30 a.m. Registration

9:30 a.m. → 10:30 a.m. QPV - A retroprospective

Quantum position verification (QPV) was first introduced, under the name quantum tagging, in a patent filed in 2004. It was first discussed in the academic literature in 2009-10. The schemes proposed to that point were shown to be breakable by teleportation attacks in 2010, and a general no-go theorem showing all schemes in this class are breakable was subsequently proved. However, in an alternative standard cryptographic security scenario, in which the tag is assumed to be able to keep classical data secret, unconditionally secure schemes were presented in 2010.
The various terminologies and security scenarios highlight important points whose theoretical and practical implications still remain underexplored. In practice, one normally wants to verify the location of a person or valuable object, not of an easily replaceable tagging device, for at least two reasons: (i) the device itself is not so valuable, (ii) adversaries can easily construct a replacement device and thereby potentially spoof the scheme. This requires physical assumptions about the integrity of the tag and its attachment, and bounds on the speed with which the tag may be displaced or destroyed and replaced. QPV schemes that do not rely on such assumptions are breakable without teleportation or non-local computation attacks. In the other direction, when such significant physical assumptions are necessary, it may generally be reasonable to include tag security among them.
In this overview I review the early history of QPV and describe various security scenarios and their potential applications. I give versions of the secure 2010 scheme designed for efficient practical implementation and discuss the frequency, accuracy and security of position verification attainable for these schemes with present technology. I also discuss the implied constraints on what may be attainable for QPV schemes involving real-time quantum measurement and/or quantum information processing.

Speaker: Adrian Kent (University of Cambridge)

10:30 a.m. → 11:00 a.m. Coffee Break

11:00 a.m. → 12:00 p.m. QPV: An Overview and Reflections

Speaker: Harry Buhrman (Centrum Wiskunde & Informatica)

12:00 p.m. → 1:00 p.m. Lunch

1:00 p.m. → 2:00 p.m. Popescu-Rohrlich correlations imply efficient instantaneous nonlocal quantum computation

Speaker: Anne Broadbent (University of Ottawa)

2:00 p.m. → 4:00 p.m. Break

4:00 p.m. → 5:30 p.m. Poster Session and Social

Tuesday, September 19

8:30 a.m. → 9:30 a.m. Coffee station open

9:30 a.m. → 10:30 a.m. Non-local quantum computation meets quantum gravity

Speaker: Alex May (Perimeter Institute)

10:30 a.m. → 11:00 a.m. Coffee Break

11:00 a.m. → 12:00 p.m. Quantum Error-Correction and Holographic Task

Speaker: Beni Yoshida (Perimeter Institute)

12:00 p.m. → 1:00 p.m. Lunch Break

1:00 p.m. → 2:00 p.m. On the road to extracting QPV from holography: building a universal quantum computer in a simple QFT

Speaker: Kfir Dolev (Stanford University)

Wednesday, September 20

8:30 a.m. → 9:30 a.m. Coffee station open

9:30 a.m. → 11:00 a.m. Protocols and Implementations of Quantum Position Verification

Speakers: Eric Chitamber (University of Illinois), Paul Kwiat (University of Illinois)

11:00 a.m. → 12:00 p.m. Coffee Break

12:00 p.m. → 1:00 p.m. Lunch Break

1:00 p.m. → 2:00 p.m. Long distance quantum communications: Quantum Experiments using Satellite Technologies (QUEST)

Speaker: Urbasi Sinha (Raman Research Institute)

2:00 p.m. → 4:00 p.m. Break

4:00 p.m. → 5:00 p.m. Towards experimental quantum position verification with true single photons by quantum dot cavity-QED

Speaker: Wolfgang Loeffler (Leiden University)

5:00 p.m. → 8:00 p.m. Conference Dinner

Thursday, September 21

8:30 a.m. → 9:30 a.m. Coffee station open

9:30 a.m. → 10:30 a.m. Attacking QPV with instantaneous non-local computation of low T-depth quantum circuits

Speaker: Florian Speelman (Centrum Wiskunde & Informatica)

10:30 a.m. → 11:00 a.m. Coffee Break

11:00 a.m. → 12:00 p.m. Making Existing Quantum Position Verification Protocols Secure Against Arbitrary Transmission Loss

Speaker: Andreas Bluhm (LIG, Grenoble)

12:00 p.m. → 1:00 p.m. Lunch Break

1:00 p.m. → 2:00 p.m. QPV and Geometry of Banach spaces

Speaker: David Perez-Garcia (Universidad Complutense de Madrid)

2:00 p.m. → 4:00 p.m. Break

Friday, September 22

8:30 a.m. → 6:30 p.m. Discussion and Collaboration Day

9:00 a.m. → 2:00 p.m. Discussion Space Available

4:00 p.m. → 5:00 p.m. PI Friday Social