QPV 2023: Advances in quantum position verification

from -
Monday, September 18, 20238:30 AM RegistrationRegistration8:30 AM - 9:30 AMRoom: PI/1-124 - Lower Bistro9:30 AM QPV - A retroprospective - Adrian Kent (University of Cambridge)QPV - A retroprospective
- Adrian Kent (University of Cambridge)

9:30 AM - 10:30 AMRoom: 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 AM Coffee BreakCoffee Break10:30 AM - 11:00 AMRoom: PI/1-124 - Lower Bistro11:00 AM QPV: An Overview and Reflections - Harry Buhrman (Centrum Wiskunde & Informatica)QPV: An Overview and Reflections- Harry Buhrman (Centrum Wiskunde & Informatica)

11:00 AM - 12:00 PMRoom: PI/4-405 - Bob Room12:00 PM LunchLunch12:00 PM - 1:00 PMRoom: PI/2-251 - Bistro - 2 FL1:00 PM 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)

1:00 PM - 2:00 PMRoom: PI/4-405 - Bob Room2:00 PM BreakBreak2:00 PM - 4:00 PMRoom: PI/1-124 - Lower Bistro4:00 PM Poster Session and SocialPoster Session and Social4:00 PM - 5:30 PMRoom: PI/2-251 - Upper Bistro -
Tuesday, September 19, 20238:30 AM Coffee station openCoffee station open8:30 AM - 9:30 AM9:30 AM Non-local quantum computation meets quantum gravity - Alex May (Perimeter Institute)Non-local quantum computation meets quantum gravity
- Alex May (Perimeter Institute)

9:30 AM - 10:30 AMRoom: PI/4-405 - Bob Room10:30 AM Coffee BreakCoffee Break10:30 AM - 11:00 AMRoom: PI/1-124 - Lower Bistro11:00 AM Quantum Error-Correction and Holographic Task - Beni Yoshida (Perimeter Institute)Quantum Error-Correction and Holographic Task- Beni Yoshida (Perimeter Institute)

11:00 AM - 12:00 PMRoom: PI/4-405 - Bob Room12:00 PM Lunch BreakLunch Break12:00 PM - 1:00 PMRoom: PI/2-251 - Upper Bistro1:00 PM 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)

1:00 PM - 2:00 PMRoom: PI/4-405 - Bob Room -
Wednesday, September 20, 20238:30 AM Coffee station openCoffee station open8:30 AM - 9:30 AM9:30 AM 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)

9:30 AM - 11:00 AMRoom: PI/4-405 - Bob Room11:00 AM Coffee BreakCoffee Break11:00 AM - 12:00 PMRoom: PI/1-124 - Lower Bistro12:00 PM Lunch BreakLunch Break12:00 PM - 1:00 PMRoom: PI/2-251 - Upper Bistro1:00 PM 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)

1:00 PM - 2:00 PMRoom: PI/4-405 - Bob Room2:00 PM BreakBreak2:00 PM - 4:00 PMRoom: PI/1-124 - Lower Bistro4:00 PM 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)

4:00 PM - 5:00 PMRoom: PI/4-405 - Bob Room5:00 PM Conference DinnerConference Dinner5:00 PM - 8:00 PMRoom: PI/2-251 - Upper Bistro -
Thursday, September 21, 20238:30 AM Coffee station openCoffee station open8:30 AM - 9:30 AM9:30 AM 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)

9:30 AM - 10:30 AMRoom: PI/4-405 - Bob Room10:30 AM Coffee BreakCoffee Break10:30 AM - 11:00 AMRoom: PI/1-124 - Lower Bistro11:00 AM 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 AM - 12:00 PMRoom: PI/4-405 - Bob Room12:00 PM Lunch BreakLunch Break12:00 PM - 1:00 PMRoom: PI/2-251 - Upper Bistro1:00 PM 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)

1:00 PM - 2:00 PMRoom: PI/4-405 - Bob Room2:00 PM BreakBreak2:00 PM - 4:00 PMRoom: PI/1-124 - Lower Bistro -
Friday, September 22, 20238:30 AM Discussion and Collaboration DayDiscussion and Collaboration Day8:30 AM - 6:30 PM9:00 AM Discussion Space AvailableDiscussion Space Available9:00 AM - 2:00 PMRoom: PI/3-301 - Alice Room4:00 PM PI Friday SocialPI Friday Social4:00 PM - 5:00 PMRoom: PI/1-124 - Lower Bistro