Duong Dinh Tran

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 23

Top Topics

Formal Specification

Security Analysis

Top Venues

PeerJ Comput. Sci.

Publications

Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
Formal Analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol. IEEE Access 12 (2024)
Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata, Adrián Riesco
Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving. Multim. Tools Appl. 83 (12) (2024)
Duong Dinh Tran, Kazuhiro Ogata
Verifying Safe Memory Reclamation in Concurrent Programs with CafeOBJ. WRLA (2024)
Duong Dinh Tran, Thet Wai Mon, Kazuhiro Ogata
Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores. PeerJ Comput. Sci. 9 (2023)
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)
Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
Formal specification and model checking of Saber lattice-based key encapsulation mechanism in Maude. SEKE (2022)
Dang Duy Bui, Win Hlaing Hlaing Myint, Duong Dinh Tran, Kazuhiro Ogata
Graphical Animations of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol. J. Vis. Lang. Comput. 2022 (1) (2022)
Duong Dinh Tran, Kazuhiro Ogata
Formal verification of TLS 1.2 by automatically generating proof scores. Comput. Secur. 123 (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)
Duong Dinh Tran, Kazuhiro Ogata
IPSG: Invariant Proof Score Generator. COMPSAC (2022)
Duong Dinh Tran, Kazuhiro Ogata, Adrián Riesco, Dang Duy Bui
Integration of SMGA and Maude to Facilitate Characteristic Conjecture. DMSVIVA (2022)
Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude. FAVPQC@ICFEM (2022)
Minxuan Liu, Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata
Formal Specification and Model Checking of an Autonomous Vehicle Merging Protocol. QRS Companion (2021)
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)
Thet Wai Mon, Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata
Graphical Animations of the NSLPK Authentication Protocol (S). DMSVIVA (2021)
Thet Wai Mon, Shuho Fujii, Duong Dinh Tran, Kazuhiro Ogata
Formal verification of IFF and NSLPK authentication protocols with CiMPG (S). SEKE (2021)
Duong Dinh Tran, Dang Duy Bui, Kazuhiro Ogata
Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method. IEEE Access 9 (2021)
Duong Dinh Tran, Kentaro Waki, Kazuhiro Ogata
Formal specification and model checking of a recoverable wait-free version of MCS. SEKE (2021)
Win Hlaing Hlaing Myint, Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata
Graphical Animations of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol (S). DMSVIVA (2021)
Naoki Asae, Duong Dinh Tran, Kazuhiro Ogata
Formal verification of Anderson mutual exclusion protocol by introducing an auxiliary variable (S). SEKE (2021)
Duong Dinh Tran, Dang Duy Bui, Parth Gupta, Kazuhiro Ogata
Lemma Weakening for State Machine Invariant Proofs. APSEC (2020)
Duong Dinh Tran, Kazuhiro Ogata
Formal verification of an abstract version of Anderson protocol with CafeOBJ, CiMPA and CiMPG. SEKE (2020)
Duong Dinh Tran, Pham Ngoc Hung, Tung Nguyen Duy
A method for Automated User Interface Testing of Windows-based Applications. SoICT (2018)