Canh Minh Do

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 21

Top Topics

Security Analysis

Pspace Complete

Top Venues

PeerJ Comput. Sci.

Publications

Canh Minh Do, Kazuhiro Ogata
Symbolic model checking quantum circuits in Maude. PeerJ Comput. Sci. 10 (2024)
Canh Minh Do, Kazuhiro Ogata
Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude. WRLA (2024)
Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata
Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version. PeerJ Comput. Sci. 9 (2023)
Yati Phyo, Moe Nandi Aung, Canh Minh Do, Kazuhiro Ogata
A Layered and Parallelized Method of Eventual Model Checking. Inf. 14 (7) (2023)
Canh Minh Do, Kazuhiro Ogata
Symbolic Model Checking Quantum Circuits in Maude. SEKE (2023)
Canh Minh Do, Yati Phyo, Adrián Riesco, Kazuhiro Ogata
Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way. ACM Trans. Softw. Eng. Methodol. 32 (6) (2023)
Tsubasa Takagi, Canh Minh Do, Kazuhiro Ogata
Automated Quantum Program Verification in Dynamic Quantum Logic. DaLí (2023)
Canh Minh Do, Yati Phyo, Kazuhiro Ogata
A divide and conquer approach to until and until stable model checking. SEKE (2022)
Moe Nandi Aung, Yati Phyo, Canh Minh Do, Kazuhiro Ogata
A Tool for Model Checking Eventual Model Checking in a Stratified Way. DSA (2022)
Canh Minh Do, Kazuhiro Ogata
Parallel Specification-Based Testing for Concurrent Programs. IEEE Access 10 (2022)
Canh Minh Do, Adrián Riesco, Santiago Escobar, Kazuhiro Ogata
Parallel Maude-NPA for Cryptographic Protocol Analysis. WRLA@ETAPS (2022)
Yati Phyo, Canh Minh Do, Kazuhiro Ogata
A Divide & Conquer Approach to Leads-to Model Checking. Comput. J. 65 (6) (2022)
Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata
Hybrid Post-Quantum TLS formal specification in Maude-NPA - toward its security analysis. FAVPQC@ICFEM (2022)
Canh Minh Do, Yati Phyo, Kazuhiro Ogata
Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way. IEEE Access 10 (2022)
Thet Wai Mon, Dang Duy Bui, Duong Dinh Tran, Canh Minh Do, Kazuhiro Ogata
Graphical Animations of the NS(L)PK Authentication Protocols. J. Vis. Lang. Comput. 2021 (2) (2021)
Yati Phyo, Canh Minh Do, Kazuhiro Ogata
A Divide & Conquer Approach to Conditional Stable Model Checking. ICTAC (2021)
Yati Phyo, Canh Minh Do, Kazuhiro Ogata
A support tool for the L + 1-layer divide & conquer approach to leads-to model checking. COMPSAC (2021)
Canh Minh Do, Kazuhiro Ogata
Parallel stratified random testing for concurrent programs. QRS Companion (2020)
Canh Minh Do, Kazuhiro Ogata
. APSEC (2020)
Canh Minh Do, Kazuhiro Ogata
A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and Maude. SOFL+MSVL (2019)
Canh Minh Do, Kazuhiro Ogata
Specification-based Testing with Simulation Relations (S). SEKE (2019)