Duong Dinh Tran
Orcid: 0000-0001-7092-2084Affiliations:
- Japan Advanced Institute of Science and Technology (JAIST), Nomi Shi, Japan
- VNU University of Engineering and Technology, Hanoi, Vietnam (former)
According to our database1,
Duong Dinh Tran
authored at least 25 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving.
Multim. Tools Appl., April, 2024
IEEE Access, 2024
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.
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.
PeerJ Comput. Sci., 2023
Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version.
PeerJ Comput. Sci., 2023
Kyber, Saber, and SK-MLWR Lattice-Based Key Encapsulation Mechanisms Model Checking with Maude.
IET Inf. Secur., 2023
2022
Graphical Animations of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol.
J. Vis. Lang. Comput., 2022
Comput. Secur., 2022
Formal specification and model checking of Saber lattice-based key encapsulation mechanism in Maude.
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.
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.
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
Proceedings of the 28th International DMS Conference on Visualization and Visual Languages, 2022
Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022
2021
J. Vis. Lang. Comput., 2021
IEEE Access, 2021
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021
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).
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021
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).
Proceedings of the 27th International DMS Conference on Visualization and Visual Languages, 2021
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.
Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020
2018
Proceedings of the Ninth International Symposium on Information and Communication Technology, 2018