Do Canh Minh ＤＯＣａｎｈＭｉｎｈ

Researcher Number	00981143
Other IDs
Affiliation (Current)	2026: 北陸先端科学技術大学院大学, 先端科学技術研究科, 講師
Affiliation (based on the past Project Information) *help	2023 – 2024: 北陸先端科学技術大学院大学, 先端科学技術研究科, 助教
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related / 1001:Information science, computer engineering, and related fields Except Principal Investigator Medium-sized Section 60:Information science, computer engineering, and related fields
Keywords	Principal Investigator Maude / Algebraic Specification / Concurrency / Quantum Protocols / Dynamic Quantum Logic / the parallel composition / dynamic quantum logic / quantum computation / symbolic reasoning / a tableau-based approach … More / divide & conquer method / parallelization / state space explosion / semantic tableaux / temporal properties / model checking … More Except Principal Investigator 量子通信 / 耐量子 / セキュリティプロトコル / サイバーセキュリティ / 形式検証 / 基礎理論の整備 / Maude / ツール支援 / 量子回路の並行性 / 量子回路 / モデル検査 / 耐量子デジタル署名 / 耐量子暗号 Less

Automated Formal Verification of Quantum Protocols for the Quantum EraPrincipal Investigator
- Principal Investigator
  
  DO CanhMinh
- Project Period (FY)
  2024 – 2026
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Japan Advanced Institute of Science and Technology
Logical foundation and formal verification of quantum-resistant security protocols
- Principal Investigator
  
  緒方和博
- Project Period (FY)
  2024 – 2027
- Research Category
  
  Fund for the Promotion of Joint International Research (International Collaborative Research)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  Japan Advanced Institute of Science and Technology
A Tableau-based Approach to Model Checking Temporal Properties for Large-scale SystemsPrincipal Investigator
- Principal Investigator
  
  Do Canh Minh
- Project Period (FY)
  2023 – 2024
- Research Category
  
  Grant-in-Aid for Research Activity Start-up
- Review Section
  
  1001:Information science, computer engineering, and related fields
- Research Institution
  Japan Advanced Institute of Science and Technology

All 2025 2024 2023

All Journal Article Presentation

[Journal Article] Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic2025
- Author(s)
  Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata
- Journal Title
  
  ACM Transactions Software Engineering and Methodology
  
  Volume: Just Accepted
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-24KK0185
[Journal Article] An Executable Operational Semantics of Quantum Programs and Its Application2025
- Author(s)
  Minh Do Canh、Ogata Kazuhiro
- Journal Title
  
  International Symposium on Software Fault Prevention, Verification, and Validation
  
  Volume: LNCS 15393 Pages: 15-31
- DOI
  10.1007/978-981-96-1621-3_2
- ISBN
  9789819616206, 9789819616213
- Data Source
  KAKENHI-PROJECT-23K19959, KAKENHI-PROJECT-24K20757
[Journal Article] Symbolic Model Checking Quantum Circuits in Maude2024
- Author(s)
  Minh Do Canh、Ogata Kazuhiro
- Journal Title
  
  PeerJ Computer Science
  
  Volume: 10 Pages: e2098-e2098
- DOI
  10.7717/peerj-cs.2098
- Data Source
  KAKENHI-PROJECT-23K19959, KAKENHI-PROJECT-24K20757
[Journal Article] Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude2024
- Author(s)
  Do Canh Minh、Ogata Kazuhiro
- Journal Title
  
  International Workshop on Rewriting Logic and Its Applications
  
  Volume: LNCS 14953 Pages: 84-103
- DOI
  10.1007/978-3-031-65941-6_5
- ISBN
  9783031659409, 9783031659416
- Data Source
  KAKENHI-PROJECT-23K19959, KAKENHI-PROJECT-24K20757
[Journal Article] A Tableau-based Approach to Model Checking Linear Temporal Properties2024
- Author(s)
  Minh Do Canh、Takagi Tsubasa、Ogata Kazuhiro
- Journal Title
  
  International Conference on Formal Engineering Methods
  
  Volume: LNCS 15394 Pages: 353-374
- DOI
  10.1007/978-981-96-0617-7_20
- ISBN
  9789819606160, 9789819606177
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23K19959, KAKENHI-PROJECT-24K20757, KAKENHI-PROJECT-24KK0185
[Journal Article] Theoretical Foundation for Equivalence Checking of Quantum Circuits2023
- Author(s)
  Canh Minh Do and Kazuhiro Ogata
- Journal Title
  
  2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC 2023)
  
  Volume: JAIST Press Pages: 83-92
- Data Source
  KAKENHI-PROJECT-23K19959
[Journal Article] Automated Quantum Program Verification in Probabilistic Dynamic Quantum Logic2023
- Author(s)
  Canh Minh Do, Tsubasa Takagi and Kazuhiro Ogata
- Journal Title
  
  2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC 2023)
  
  Volume: JAIST Press Pages: 36-51
- Data Source
  KAKENHI-PROJECT-23K19959
[Journal Article] Symbolic Model Checking Quantum Circuits With Density Operators in Maude2023
- Author(s)
  Canh Minh Do and Kazuhiro Ogata
- Journal Title
  
  2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC 2023)
  
  Volume: JAIST Press Pages: 52-66
- Data Source
  KAKENHI-PROJECT-23K19959
[Presentation] Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude2024
- Author(s)
  Canh Minh Do
- Organizer
  International Workshop on Rewriting Logic and Its Applications
- Data Source
  KAKENHI-PROJECT-24K20757
[Presentation] A Tableau-based Approach to Model Checking Linear Temporal Properties2024
- Author(s)
  Canh Minh Do
- Organizer
  International Conference on Formal Engineering Methods
- Data Source
  KAKENHI-PROJECT-23K19959
[Presentation] Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude2024
- Author(s)
  Canh Minh Do
- Organizer
  International Workshop on Rewriting Logic and Its Applications
- Data Source
  KAKENHI-PROJECT-23K19959
[Presentation] An Executable Operational Semantics of Quantum Programs and Its Application2024
- Author(s)
  Canh Minh Do
- Organizer
  International Symposium on Software Fault Prevention, Verification, and Validation
- Data Source
  KAKENHI-PROJECT-23K19959
[Presentation] A Tableau-based Approach to Model Checking Linear Temporal Properties2024
- Author(s)
  Canh Minh Do
- Organizer
  International Conference on Formal Engineering Methods
- Data Source
  KAKENHI-PROJECT-24K20757
[Presentation] An Executable Operational Semantics of Quantum Programs and Its Application2024
- Author(s)
  Canh Minh Do
- Organizer
  International Symposium on Software Fault Prevention, Verification, and Validation
- Data Source
  KAKENHI-PROJECT-24K20757

1. 緒方和博 (30272991)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
2. 高木翼 (30994769)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results

Do Canh Minh ＤＯ ＣａｎｈＭｉｎｈ

Research Projects

Research Products

Co-Researchers

Automated Formal Verification of Quantum Protocols for the Quantum EraPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Logical foundation and formal verification of quantum-resistant security protocols

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A Tableau-based Approach to Model Checking Temporal Properties for Large-scale SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

[Journal Article] Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic2025

Author(s)

Journal Title

Data Source

[Journal Article] An Executable Operational Semantics of Quantum Programs and Its Application2025

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Symbolic Model Checking Quantum Circuits in Maude2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude2024

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] A Tableau-based Approach to Model Checking Linear Temporal Properties2024

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Theoretical Foundation for Equivalence Checking of Quantum Circuits2023

Author(s)

Journal Title

Data Source

[Journal Article] Automated Quantum Program Verification in Probabilistic Dynamic Quantum Logic2023

Author(s)

Journal Title

Data Source

[Journal Article] Symbolic Model Checking Quantum Circuits With Density Operators in Maude2023

Author(s)

Journal Title

Data Source

[Presentation] Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude2024

Author(s)

Organizer

Data Source

[Presentation] A Tableau-based Approach to Model Checking Linear Temporal Properties2024

Author(s)

Organizer

Data Source

[Presentation] Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude2024

Author(s)

Organizer

Data Source

[Presentation] An Executable Operational Semantics of Quantum Programs and Its Application2024

Author(s)

Organizer

Data Source

[Presentation] A Tableau-based Approach to Model Checking Linear Temporal Properties2024

Author(s)

Organizer

Do Canh Minh ＤＯＣａｎｈＭｉｎｈ