DQL

Automated Quantum Protocol Verification based on Concurrent Dynamic Quantum Logic

References

2024

  1. ACM TOSEM
    Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic
    Canh Minh Do, Tsubasa Takagi, and Kazuhiro Ogata
    ACM Transactions on Software Engineering and Methodology, Dec 2024
    Just Accepted

2023

  1. DaLí
    Automated Quantum Program Verification in Dynamic Quantum Logic
    Tsubasa Takagi, Canh Minh Do, and Kazuhiro Ogata
    In Dynamic Logic. New Trends and Applications, Dec 2023
  2. FAVPQC
    Automated Quantum Program Verification in Probabilistic Dynamic Quantum Logic
    Canh Minh Do, Tsubasa Takagi, and Kazuhiro Ogata
    In The 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (collocated at ICFEM 2023), Dec 2023