Duong Dinh Tran

According to our database, Duong Dinh Tran authored at least 25 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving.

Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata, Adrián Riesco

Multim. Tools Appl., April, 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, 2024

Verifying Safe Memory Reclamation in Concurrent Programs with CafeOBJ.

Duong Dinh Tran, Kazuhiro Ogata

Proceedings of the Rewriting Logic and Its Applications - 15th International Workshop, 2024

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

Proceedings of the 29th IEEE Pacific Rim International Symposium on Dependable Computing, 2024

2023

Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores.

Duong Dinh Tran, Thet Wai Mon, Kazuhiro Ogata

PeerJ Comput. Sci., 2023

Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version.

Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata

PeerJ Comput. Sci., 2023

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 Inf. Secur., 2023

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

J. Vis. Lang. Comput., 2022

Formal verification of TLS 1.2 by automatically generating proof scores.

Duong Dinh Tran, Kazuhiro Ogata

Comput. Secur., 2022

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

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 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), 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), 2022

Integration of SMGA and Maude to Facilitate Characteristic Conjecture.

Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata, Adrián Riesco

Proceedings of the 28th International DMS Conference on Visualization and Visual Languages, 2022

IPSG: Invariant Proof Score Generator.

Duong Dinh Tran, Kazuhiro Ogata

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021

Graphical Animations of the NS(L)PK Authentication Protocols.

Thet Wai Mon, Dang Duy Bui, Duong Dinh Tran, Canh Minh Do, Kazuhiro Ogata

J. Vis. Lang. Comput., 2021

Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method.

Duong Dinh Tran, Dang Duy Bui, Kazuhiro Ogata

IEEE Access, 2021

Formal specification and model checking of a recoverable wait-free version of MCS.

Duong Dinh Tran, Kentaro Waki, Kazuhiro Ogata

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Formal verification of IFF and NSLPK authentication protocols with CiMPG (S).

Thet Wai Mon, Shuho Fujii, Duong Dinh Tran, Kazuhiro Ogata

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Formal verification of Anderson mutual exclusion protocol by introducing an auxiliary variable (S).

Naoki Asae, Duong Dinh Tran, Kazuhiro Ogata

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Formal Specification and Model Checking of an Autonomous Vehicle Merging Protocol.

Minxuan Liu, Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Graphical Animations of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol (S).

Win Hlaing Hlaing Myint, Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata

Proceedings of the 27th International DMS Conference on Visualization and Visual Languages, 2021

Graphical Animations of the NSLPK Authentication Protocol (S).

Thet Wai Mon, Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata

Proceedings of the 27th International DMS Conference on Visualization and Visual Languages, 2021

2020

Formal verification of an abstract version of Anderson protocol with CafeOBJ, CiMPA and CiMPG.

Duong Dinh Tran, Kazuhiro Ogata

Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

Lemma Weakening for State Machine Invariant Proofs.

Duong Dinh Tran, Dang Duy Bui, Parth Gupta, Kazuhiro Ogata

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2018

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, 2018