Name: QPV 2023: Advances in quantum position verification
Start: 2023-09-18T08:30:00-04:00
End: 2023-09-22T18:30:00-04:00
Location: No location set

QPV 2023: Advances in quantum position verification

from Monday, 18 September 2023 (08:30) to Friday, 22 September 2023 (18:30)

Monday, 18 September 2023

08:30 Registration
Registration
08:30 - 09:30
Room: PI/1-124 - Lower Bistro
09:30 QPV - A retroprospective - Adrian Kent (University of Cambridge)
QPV - A retroprospective
- Adrian Kent (University of Cambridge)
09:30 - 10:30
Room: PI/4-405 - Bob Room 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.
10:30 Coffee Break
Coffee Break
10:30 - 11:00
Room: PI/1-124 - Lower Bistro
11:00 QPV: An Overview and Reflections - Harry Buhrman (Centrum Wiskunde & Informatica)
QPV: An Overview and Reflections
- Harry Buhrman (Centrum Wiskunde & Informatica)
11:00 - 12:00
Room: PI/4-405 - Bob Room
12:00 Lunch
Lunch
12:00 - 13:00
Room: PI/2-251 - Bistro - 2 FL
13:00 Popescu-Rohrlich correlations imply efficient instantaneous nonlocal quantum computation - Anne Broadbent (University of Ottawa)
Popescu-Rohrlich correlations imply efficient instantaneous nonlocal quantum computation
- Anne Broadbent (University of Ottawa)
13:00 - 14:00
Room: PI/4-405 - Bob Room
14:00 Break
Break
14:00 - 16:00
Room: PI/1-124 - Lower Bistro

16:00 Poster Session and Social
Poster Session and Social
16:00 - 17:30
Room: PI/2-251 - Upper Bistro
Tuesday, 19 September 2023

08:30 Coffee station open
Coffee station open
08:30 - 09:30
09:30 Non-local quantum computation meets quantum gravity - Alex May (Perimeter Institute)
Non-local quantum computation meets quantum gravity
- Alex May (Perimeter Institute)
09:30 - 10:30
Room: PI/4-405 - Bob Room
10:30 Coffee Break
Coffee Break
10:30 - 11:00
Room: PI/1-124 - Lower Bistro
11:00 Quantum Error-Correction and Holographic Task - Beni Yoshida (Perimeter Institute)
Quantum Error-Correction and Holographic Task
- Beni Yoshida (Perimeter Institute)
11:00 - 12:00
Room: PI/4-405 - Bob Room
12:00 Lunch Break
Lunch Break
12:00 - 13:00
Room: PI/2-251 - Upper Bistro
13:00 On the road to extracting QPV from holography: building a universal quantum computer in a simple QFT - Kfir Dolev (Stanford University)
On the road to extracting QPV from holography: building a universal quantum computer in a simple QFT
- Kfir Dolev (Stanford University)
13:00 - 14:00
Room: PI/4-405 - Bob Room
Wednesday, 20 September 2023

08:30 Coffee station open
Coffee station open
08:30 - 09:30
09:30 Protocols and Implementations of Quantum Position Verification - Eric Chitamber (University of Illinois) Paul Kwiat (University of Illinois)
Protocols and Implementations of Quantum Position Verification
- Eric Chitamber (University of Illinois)
- Paul Kwiat (University of Illinois)
09:30 - 11:00
Room: PI/4-405 - Bob Room
11:00 Coffee Break
Coffee Break
11:00 - 12:00
Room: PI/1-124 - Lower Bistro

12:00 Lunch Break
Lunch Break
12:00 - 13:00
Room: PI/2-251 - Upper Bistro
13:00 Long distance quantum communications: Quantum Experiments using Satellite Technologies (QUEST) - Urbasi Sinha (Raman Research Institute)
Long distance quantum communications: Quantum Experiments using Satellite Technologies (QUEST)
- Urbasi Sinha (Raman Research Institute)
13:00 - 14:00
Room: PI/4-405 - Bob Room
14:00 Break
Break
14:00 - 16:00
Room: PI/1-124 - Lower Bistro
16:00 Towards experimental quantum position verification with true single photons by quantum dot cavity-QED - Wolfgang Loeffler (Leiden University)
Towards experimental quantum position verification with true single photons by quantum dot cavity-QED
- Wolfgang Loeffler (Leiden University)
16:00 - 17:00
Room: PI/4-405 - Bob Room
17:00 Conference Dinner
Conference Dinner
17:00 - 20:00
Room: PI/2-251 - Upper Bistro
Thursday, 21 September 2023

08:30 Coffee station open
Coffee station open
08:30 - 09:30
09:30 Attacking QPV with instantaneous non-local computation of low T-depth quantum circuits - Florian Speelman (Centrum Wiskunde & Informatica)
Attacking QPV with instantaneous non-local computation of low T-depth quantum circuits
- Florian Speelman (Centrum Wiskunde & Informatica)
09:30 - 10:30
Room: PI/4-405 - Bob Room
10:30 Coffee Break
Coffee Break
10:30 - 11:00
Room: PI/1-124 - Lower Bistro
11:00 Making Existing Quantum Position Verification Protocols Secure Against Arbitrary Transmission Loss - Andreas Bluhm (LIG, Grenoble)
Making Existing Quantum Position Verification Protocols Secure Against Arbitrary Transmission Loss
- Andreas Bluhm (LIG, Grenoble)
11:00 - 12:00
Room: PI/4-405 - Bob Room
12:00 Lunch Break
Lunch Break
12:00 - 13:00
Room: PI/2-251 - Upper Bistro
13:00 QPV and Geometry of Banach spaces - David Perez-Garcia (Universidad Complutense de Madrid)
QPV and Geometry of Banach spaces
- David Perez-Garcia (Universidad Complutense de Madrid)
13:00 - 14:00
Room: PI/4-405 - Bob Room
14:00 Break
Break
14:00 - 16:00
Room: PI/1-124 - Lower Bistro
Friday, 22 September 2023

08:30 Discussion and Collaboration Day
Discussion and Collaboration Day
08:30 - 18:30

09:00 Discussion Space Available
Discussion Space Available
09:00 - 14:00
Room: PI/3-301 - Alice Room

16:00 PI Friday Social
PI Friday Social
16:00 - 17:00
Room: PI/1-124 - Lower Bistro