Proof Scores: A Survey
Adrián Riesco, Kazuhiro Ogata, Masaki Nakamura, Daniel Gaina, Duong Dinh Tran, Kokichi Futatsugi
ACM Computing Surveys, -, 2025

Safety Analysis of Autonomous Driving Systems: A Simulation-Based Runtime Verification Approach
Duong Dinh Tran, Takashi Tomita, Toshiaki Aoki
IEEE Transactions on Reliability, -, 2025

Verifying Safe Memory Reclamation in Concurrent Programs with CafeOBJ
Duong Dinh Tran, Kazuhiro Ogata
Rewriting Logic and Its Applications - 15th International Workshop(WRLA), 45-61, 2024

Formal verification of TLS 1.2 by automatically generating proof scores
Duong Dinh Tran, Kazuhiro Ogata
Computers & Security, 123, 102909-102909, 2022

IPSG: Invariant Proof Score Generator
Duong Dinh Tran, Kazuhiro Ogata
46th IEEE Annual Computers, Software, and Applications Conferenc(COMPSAC), 1050-1055, 2022

Formal specification and security verification of post-quantum OpenPGP in CafeOBJ
Trong Binh Hoang, Duong Dinh Tran, Canh Minh Do, Kazuhiro Ogata
PEERJ COMPUTER SCIENCE, 12, -, 2026

Detection of Dangerous Driving Events from Video Streams with Logical Explanations
Kazuko Takahashi, Yurika Yamaguchi, Daito Suzuki, Duong Tran, Aran Chindaudom, Takashi Tomita, Toshiaki Aoki
Proceedings of the 21st International Conference on Evaluation of Novel Approaches to Software Engineering, 470-477, 2026

Formal Specification and Analysis of Post-quantum OpenPGP Protocol in CafeOBJ
Trong Binh Hoang, Duong Dinh Tran, Canh Minh Do, Kazuhiro Ogata
International Conferences on Software Engineering and Knowledge Engineering, 2025, 159-164, 2025

Folding Narrowing for the Analysis of Mutual Exclusion Protocols
Raúl López-Rueda, Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata
The 27th International Symposium on Principles and Practice of Declarative Programming, -, 2025

Proof Scores: A Survey (full version).
Adrián Riesco 0001, Kazuhiro Ogata 0001, Masaki Nakamura 0001, Daniel Gaina, Duong Dinh Tran, Kokichi Futatsugi
CoRR, abs/2504.14561, -, 2025

A Reasoning and Explicit Algebraic Theory for BBSL in Event-B: EB4BBSL Framework
Peter Riviere, Duong Dinh Tran, Takashi Tomita, Toshiaki Aoki
11th International Conference on Rigorous State Based Methods (ABZ 2025), -, 2025

Bridging Gaps between Scenario-Based Safety Analysis and Simulation-based Testing for Autonomous Driving Systems
Phaiboon Jaradnaparatana, Buntita Sriarunothai, Chutikarn Kamsem, Supithcha Jongphoemwatthanaphon, Burit Sihabut, Duong Dinh Tran, Toshiaki Aoki
PRDC, 216-219, 2024

Formal Analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol
Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
IEEE Access, 12, 1672-1687, 2024

Kyber, Saber, and SK-MLWR Lattice-Based Key Encapsulation Mechanisms Model Checking with Maude
Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
IET Information Security, 2023, 1-17, 2023

Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving
Bui, D.D., Tran, D.D., Ogata, K., Riesco, A.
Multimedia Tools and Applications, 83, 12, 36865-36898, 2023

Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version
Tran, D.D., Do, C.M., Escobar, S., Ogata, K.
PeerJ Computer Science, 9, -1556, 2023

Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores
Tran, D.D., Mon, T.W., Ogata, K.
PeerJ Computer Science, 9, -1284, 2023

Formal specification and model checking of Saber lattice-based key encapsulation mechanism in Maude
Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
The 34th International Conference on Software Engineering and Knowledge Engineering(SEKE), 382-387, 2022

Hybrid Post-Quantum TLS formal specification in Maude-NPA - toward its security analysis
Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata
Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols co-located with the 23rd International Conference on Formal Engineering Methods (ICFEM 2022)(FAVPQC@ICFEM), 50-64, 2022

Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude
Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols co-located with the 23rd International Conference on Formal Engineering Methods (ICFEM 2022)(FAVPQC@ICFEM), 16-31, 2022

Integration of SMGA and Maude to Facilitate Characteristic Conjecture
Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata, Adrián Riesco
The 28th International DMS Conference on Visualization and Visual Languages(DMSVIVA), 45-54, 2022

Graphical Animations of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol
Dang Duy Bui, Win Hlaing Hlaing Myint, Duong Dinh Tran, Kazuhiro Ogata
Journal of Visual Language and Computing, 2022, 1, 1-15, 2022

Formal specification and model checking of a recoverable wait-free version of MCS
Duong Dinh Tran, Kentaro Waki, Kazuhiro Ogata
The 33rd International Conference on Software Engineering and Knowledge Engineering(SEKE), 138-143, 2021

Formal verification of Anderson mutual exclusion protocol by introducing an auxiliary variable
Naoki Asae, Duong Dinh Tran, Kazuhiro Ogata
The 33rd International Conference on Software Engineering and Knowledge Engineering(SEKE), 126-131, 2021

Formal verification of IFF and NSLPK authentication protocols with CiMPG
Thet Wai Mon, Shuho Fujii, Duong Dinh Tran, Kazuhiro Ogata
The 33rd International Conference on Software Engineering and Knowledge Engineering(SEKE), 120-125, 2021

Formal Specification and Model Checking of an Autonomous Vehicle Merging Protocol
Minxuan Liu, Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata
21st IEEE International Conference on Software Quality, Reliability and Security, 333-342, 2021

Graphical Animations of the NSLPK Authentication Protocol
Thet Wai Mon, Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata
The 27th International DMS Conference on Visualization and Visual Languages(DMSVIVA), 29-35, 2021

Graphical Animations of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol
Win Hlaing Hlaing Myint, Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata
The 27th International DMS Conference on Visualization and Visual Languages(DMSVIVA), 22-28, 2021

Graphical Animations of the NSLPK Authentication Protocols
Thet Wai Mon, Dang Duy Bui, Duong Dinh Tran, Canh Minh Do, Kazuhiro Ogata
Journal of Visual Language and Computing, 2021, 2, 39-51, 2021

Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method
Duong Dinh Tran, Dang Duy Bui, Kazuhiro Ogata
IEEE Access, 9, 93847-93870, 2021

Formal verification of an abstract version of Anderson protocol with CafeOBJ, CiMPA and CiMPG
Duong Dinh Tran, Kazuhiro Ogata
The 32nd International Conference on Software Engineering and Knowledge Engineering(SEKE), 287-292, 2020

Lemma Weakening for State Machine Invariant Proofs
Duong Dinh Tran, Dang Duy Bui, Parth Gupta, Kazuhiro Ogata
27th Asia-Pacific Software Engineering Conference(APSEC), 21-30, 2020

A method for Automated User Interface Testing of Windows-based Applications
Duong Dinh Tran, Pham Ngoc Hung, Tung Nguyen Duy
Proceedings of the Ninth International Symposium on Information and Communication Technology(SoICT), 337-343, 2018