Canh Minh Do

30 papers B 1C 9Journal 10Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic.
ACM Trans. Softw. Eng. Methodol.
Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata
2025 C conf
Folding Narrowing for the Analysis of Mutual Exclusion Protocols.
PPDP
Raúl López-Rueda, Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata
2025 C conf
Formal Specification and Analysis of Post-quantum OpenPGP Protocol in CafeOBJ.
SEKE
Trong Binh Hoang, Duong Dinh Tran, Canh Minh Do, Kazuhiro Ogata
2025 C conf
Formal Specification and Model Checking of the BB84 Protocol in Maude (S).
SEKE
Canh Minh Do, Kazuhiro Ogata
2025 J jnl
Parallel Maude-NPA for Cryptographic Protocol Analysis.
IEEE Trans. Dependable Secur. Comput.
Canh Minh Do, Adrián Riesco, Santiago Escobar, Kazuhiro Ogata
2025 — conf
QRAT: A Reachability Analysis Tool for Quantum Programs.
SFPVV
Canh Minh Do, Kazuhiro Ogata
2024 C conf
A Tableau-Based Approach to Model Checking Linear Temporal Properties.
ICFEM
Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata
2024 — conf
An Executable Operational Semantics of Quantum Programs and Its Application.
SFPVV
Canh Minh Do, Kazuhiro Ogata
2024 — conf
Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude.
WRLA
Canh Minh Do, Kazuhiro Ogata
2024 — conf
Formal Specification and Model Checking of a Synchronous Leader Election Protocol in Maude.
SFPVV
Tomoyoshi Ogura, Canh Minh Do, Kazuhiro Ogata
2024 J jnl
Symbolic model checking quantum circuits in Maude.
PeerJ Comput. Sci.
Canh Minh Do, Kazuhiro Ogata
2023 J jnl
A Layered and Parallelized Method of Eventual Model Checking.
Inf.
Yati Phyo, Moe Nandi Aung, Canh Minh Do, Kazuhiro Ogata
2023 — conf
Automated Quantum Program Verification in Dynamic Quantum Logic.
DaLí
Tsubasa Takagi, Canh Minh Do, Kazuhiro Ogata
2023 J jnl
Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version.
PeerJ Comput. Sci.
Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata
2023 J jnl
Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way.
ACM Trans. Softw. Eng. Methodol.
Canh Minh Do, Yati Phyo, Adrián Riesco, Kazuhiro Ogata
2023 C conf
Symbolic Model Checking Quantum Circuits in Maude.
SEKE
Canh Minh Do, Kazuhiro Ogata
2022 J jnl
A Divide & Conquer Approach to Leads-to Model Checking.
Comput. J.
Yati Phyo, Canh Minh Do, Kazuhiro Ogata
2022 — conf
A Tool for Model Checking Eventual Model Checking in a Stratified Way.
DSA
Moe Nandi Aung, Yati Phyo, Canh Minh Do, Kazuhiro Ogata
2022 C conf
A divide and conquer approach to until and until stable model checking.
SEKE
Canh Minh Do, Yati Phyo, Kazuhiro Ogata
2022 — conf
Hybrid Post-Quantum TLS formal specification in Maude-NPA - toward its security analysis.
FAVPQC@ICFEM
Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata
2022 — conf
Parallel Maude-NPA for Cryptographic Protocol Analysis.
WRLA
Canh Minh Do, Adrián Riesco, Santiago Escobar, Kazuhiro Ogata
2022 J jnl
Parallel Specification-Based Testing for Concurrent Programs.
IEEE Access
Canh Minh Do, Kazuhiro Ogata
2022 J jnl
Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way.
IEEE Access
Canh Minh Do, Yati Phyo, Kazuhiro Ogata
2021 C conf
A Divide & Conquer Approach to Conditional Stable Model Checking.
ICTAC
Yati Phyo, Canh Minh Do, Kazuhiro Ogata
2021 B conf
A support tool for the L + 1-layer divide & conquer approach to leads-to model checking.
COMPSAC
Yati Phyo, Canh Minh Do, Kazuhiro Ogata
2021 J jnl
Graphical Animations of the NS(L)PK Authentication Protocols.
J. Vis. Lang. Comput.
Thet Wai Mon, Dang Duy Bui, Duong Dinh Tran, Canh Minh Do, Kazuhiro Ogata
2020 C conf
A divide & conquer approach to testing concurrent programs with JPF
APSEC
Canh Minh Do, Kazuhiro Ogata
2020 — conf
Parallel stratified random testing for concurrent programs.
QRS Companion
Canh Minh Do, Kazuhiro Ogata
2019 — conf
A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and Maude.
SOFL+MSVL
Canh Minh Do, Kazuhiro Ogata
2019 C conf
Specification-based Testing with Simulation Relations (S).
SEKE
Canh Minh Do, Kazuhiro Ogata
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling