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

… Alternative Names

DO CanhMinh ドカンミン

Less

Researcher Number	00981143
Other IDs
Affiliation (Current)	2025: 北陸先端科学技術大学院大学, 先端科学技術研究科, 助教
Affiliation (based on the past Project Information) *help	2023 – 2024: 北陸先端科学技術大学院大学, 先端科学技術研究科, 助教
Review Section/Research Field	Principal Investigator 1001:Information science, computer engineering, and related fields / Basic Section 60050:Software-related Except Principal Investigator Medium-sized Section 60:Information science, computer engineering, and related fields
Keywords	Principal Investigator Maude / parallelization / state space explosion / a tableau-based approach / temporal properties / model checking / Algebraic Specification / Concurrency / Quantum Protocols / Dynamic Quantum Logic … More Except Principal Investigator … More 量子通信 / 耐量子 / セキュリティプロトコル / サイバーセキュリティ / 形式検証 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 CanhMinh
- 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 2023

All Journal Article

[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

1. 緒方和博 (30272991)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

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

DO CanhMinh ドカンミン

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] 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

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

DO CanhMinh ド カンミン

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] 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

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

DO CanhMinh ドカンミン