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

ORCID

ORCID連携する *注記

… 別表記

DO CanhMinh ドカンミン

隠す

研究者番号	00981143
その他のID
所属 (現在)	2025年度: 北陸先端科学技術大学院大学, 先端科学技術研究科, 助教
所属 (過去の研究課題情報に基づく) *注記	2023年度 – 2024年度: 北陸先端科学技術大学院大学, 先端科学技術研究科, 助教
審査区分/研究分野	研究代表者 1001:情報科学、情報工学およびその関連分野 / 小区分60050:ソフトウェア関連研究代表者以外中区分60:情報科学、情報工学およびその関連分野
キーワード	研究代表者 Maude / parallelization / state space explosion / a tableau-based approach / temporal properties / model checking / Algebraic Specification / Concurrency / Quantum Protocols / Dynamic Quantum Logic … もっと見る研究代表者以外 … もっと見る量子通信 / 耐量子 / セキュリティプロトコル / サイバーセキュリティ / 形式検証隠す

Automated Formal Verification of Quantum Protocols for the Quantum Era研究代表者
- 研究代表者
  
  DO CanhMinh
- 研究期間 (年度)
  2024 – 2026
- 研究種目
  
  若手研究
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  北陸先端科学技術大学院大学
Logical foundation and formal verification of quantum-resistant security protocols
- 研究代表者
  
  緒方和博
- 研究期間 (年度)
  2024 – 2027
- 研究種目
  
  国際共同研究加速基金(海外連携研究)
- 審査区分
  
  中区分60:情報科学、情報工学およびその関連分野
- 研究機関
  北陸先端科学技術大学院大学
A Tableau-based Approach to Model Checking Temporal Properties for Large-scale Systems研究代表者
- 研究代表者
  
  DO CanhMinh
- 研究期間 (年度)
  2023 – 2024
- 研究種目
  
  研究活動スタート支援
- 審査区分
  
  1001:情報科学、情報工学およびその関連分野
- 研究機関
  北陸先端科学技術大学院大学

すべて雑誌論文

[雑誌論文] Theoretical Foundation for Equivalence Checking of Quantum Circuits2023
- 著者名/発表者名
  Canh Minh Do and Kazuhiro Ogata
- 雑誌名
  
  2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC 2023)
  
  巻: JAIST Press ページ: 83-92
- データソース
  KAKENHI-PROJECT-23K19959
[雑誌論文] Automated Quantum Program Verification in Probabilistic Dynamic Quantum Logic2023
- 著者名/発表者名
  Canh Minh Do, Tsubasa Takagi and Kazuhiro Ogata
- 雑誌名
  
  2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC 2023)
  
  巻: JAIST Press ページ: 36-51
- データソース
  KAKENHI-PROJECT-23K19959
[雑誌論文] Symbolic Model Checking Quantum Circuits With Density Operators in Maude2023
- 著者名/発表者名
  Canh Minh Do and Kazuhiro Ogata
- 雑誌名
  
  2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC 2023)
  
  巻: JAIST Press ページ: 52-66
- データソース
  KAKENHI-PROJECT-23K19959

1. 緒方和博 (30272991)

共同の研究課題数: 1件

共同の研究成果数: 0件
2. 高木翼 (30994769)

共同の研究課題数: 1件

共同の研究成果数: 0件