La Trobe-Kyushu Joint Seminar on Mathematics for Industry
Tuesday, 2 July 2024 
Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic
Date: Tuesday, 2 July 2024 12:00 - 13:00
Place: Online
Speaker: Canh Minh Do (Japan Advanced Institute of Science)
Abstract:
While constructing practical quantum computers by big companies remains a challenge, the application of quantum communication and cryptography has made remarkable progress. As a result, it is crucial to verify quantum protocols before they can be trusted in safety and security-critical applications. Dynamic Quantum Logic (DQL), a quantum counterpart of Dynamic Logic, has been proposed to handle quantum effects, such as superposition, entanglement, and measurement, in order to verify quantum protocols with manual proofs. However, DQL lacks an automated approach to quantum protocol verification and a parallel operator to handle concurrency in quantum protocols. This talk presents recent developments in automated quantum protocol verification based on Concurrent Dynamic Quantum Logic (CDQL), an extension of DQL for handling the concurrent behaviors of participants in quantum protocols. Additionally, this talk shows how to effectively handle large interleavings from concurrency in CDQL with a support tool developed in Maude, a specification and programming language based on rewriting logic.
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The seminar will be held during lunch time, so please feel free to join us while eating your lunch. Especially for graduate students, there are not many opportunities to hear lectures in different fields of mathematics. This seminar is a valuable opportunity for faculty members to give lectures to non-specialists. We hope that you will feel free to participate regardless of your field, whether it is to broaden your mathematical horizons or to get some exposure to English. Motivated third and fourth year undergraduate students are also welcome to participate. Please feel free to drop by.
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
