TOP  >  Personal Info.  >  Published Papers
TRAN, Duong Dinh Research Assistant Professor
Information Science, Next-Generation Digital Infrastructure

Published Papers

27 items
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 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
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
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
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
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
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
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
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