| Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude DD Tran, K Ogata, S Escobar, S Akleylek, A Otmani Proceedings http://ceur-ws.org ISSN 1613, 0073, 2022 | 6 | 2022 |
| A method for automated user interface testing of windows-based applications DT Dinh, PN Hung, TN Duy Proceedings of the 9th International Symposium on Information and …, 2018 | 6 | 2018 |
| Formal verification of TLS 1.2 by automatically generating proof scores DD Tran, K Ogata Computers & Security 123, 102909, 2022 | 5 | 2022 |
| Formal verification of an abstract version of Anderson protocol with CafeOBJ, CiMPA and CiMPG DD Tran, K Ogata International Conference on Software Engineering and Knowledge Engineering …, 2020 | 5 | 2020 |
| Hybrid Post-Quantum TLS formal specification in Maude-NPA-toward its security analysis DD Tran, CM Do, S Escobar, K Ogata Proceedings http://ceur-ws.org ISSN 1613, 0073, 2022 | 4 | 2022 |
| Lemma Weakening for State Machine Invariant Proofs DD Tran, DD Bui, P Gupta, K Ogata 2020 27th Asia-Pacific Software Engineering Conference (APSEC), 21-30, 2020 | 4 | 2020 |
| Graphical animations of the lim-jeong-park-lee autonomous vehicle intersection control protocol WHH Myint, DD Bui, DD Tran, K Ogata DMSVIVA 2021, 22-28, 2021 | 3 | 2021 |
| Formal verification of IFF & NSLPK authentication protocols with CiMPG TW Mon, S Fujii, DD Tran, K Ogata Proceedings of the 33rd International Conference on Software Engineering …, 2021 | 3 | 2021 |
| IPSG: Invariant Proof Score Generator DD Tran, K Ogata 2022 IEEE 46th Annual Computers, Software, and Applications Conference …, 2022 | 2 | 2022 |
| Integration of SMGA and Maude to Facilitate Characteristic Conjecture DD Bui, DD Tran, K Ogata, A Riesco DMSVIVA 2022-Proceedings of the 28th International DMS Conference on …, 2022 | 2 | 2022 |
| Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version DD Tran, CM Do, S Escobar, K Ogata PeerJ Computer Science 9, e1556, 2023 | 1 | 2023 |
| Formal Specification and Model Checking of an Autonomous Vehicle Merging Protocol M Liu, DD Bui, DD Tran, K Ogata 2021 IEEE 21st International Conference on Software Quality, Reliability and …, 2021 | 1 | 2021 |
| Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method DD Tran, DD Bui, K Ogata IEEE Access 9, 93847-93870, 2021 | 1 | 2021 |
| Graphical Animations of the NSLPK Authentication Protocol (S). TW Mon, DD Bui, DD Tran, K Ogata DMSVIVA, 29-35, 2021 | 1 | 2021 |
| Formal verification of Anderson mutual exclusion protocol by introducing an auxiliary variable N Asae, DD Tran, K Ogata SEKE 2021, 126-131, 2021 | 1 | 2021 |
| Formal analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol DD Tran, K Ogata, S Escobar, S Akleylek, A Otmani IEEE Access, 2023 | | 2023 |
| Kyber, Saber, and SK-MLWR Lattice-Based Key Encapsulation Mechanisms Model Checking with Maude DD Tran, K Ogata, S Escobar, S Akleylek, A Otmani IET Information Security 2023, 2023 | | 2023 |
| Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving DD Bui, DD Tran, K Ogata, A Riesco Multimedia Tools and Applications, 1-34, 2023 | | 2023 |
| Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores DD Tran, TW Mon, K Ogata PeerJ Computer Science 9, e1284, 2023 | | 2023 |
| Formal specification and model checking of Saber lattice-based key encapsulation mechanism in Maude DD Tran, K Ogata, S Escobar, S Akleylek, A Otmani Proceedings of the 34th International Conference on Software Engineering and …, 2022 | | 2022 |
Kazuhiro OgataJAISTVerified email at jaist.ac.jp
