Kazuhiro Ogata
Japan Advanced Institute of Science and Technology
H-index: 22
Asia-Japan
Top articles of Kazuhiro Ogata
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Proceedings of the 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC), 2023 | Santiago Escobar Ayoub Otmani Sedat Akleylek Kazuhiro Ogata | 2024/2/26 | |
A Layered and Parallelized Method of Eventual Model Checking | Information | Yati Phyo Moe Nandi Aung Canh Minh Do Kazuhiro Ogata | 2023/7/6 |
Modelling and verification of post-quantum key encapsulation mechanisms using Maude | PeerJ Computer Science | Víctor García Santiago Escobar Kazuhiro Ogata Sedat Akleylek Ayoub Otmani | 2023/9/19 |
Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores | PeerJ Computer Science | Duong Dinh Tran Thet Wai Mon Kazuhiro Ogata | 2023/3/31 |
Automated Quantum Program Verification in Dynamic Quantum Logic | Tsubasa Takagi Canh Minh Do Kazuhiro Ogata | 2023/9/15 | |
Formal analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol | IEEE Access | Duong Dinh Tran Kazuhiro Ogata Santiago Escobar Sedat Akleylek Ayoub Otmani | 2023/12/28 |
A way to find counterexamples located at deep positions with domain knowledge of authentication protocols | Naomi Okumura Kazuhiro Ogata | 2023/2/23 | |
Automatically extracting the correspondence between the natural language and the pseudo-code descriptions of instruction set manuals | Kazuhiro Ogata | 2023/9 | |
Kyber, Saber, and SK-MLWR Lattice-Based Key Encapsulation Mechanisms Model Checking with Maude | IET Information Security | Duong Dinh Tran Kazuhiro Ogata Santiago Escobar Sedat Akleylek Ayoub Otmani | 2023/10/30 |
Formal Specification and Model Checking of Raft Leader Election in Maude | Takanori Ishibashi Kazuhiro Ogata | 2023/2/23 | |
Symbolic model checking quantum circuits in maude | The 35th International Conference on Software Engineering and Knowledge Engineering, SEKE | Canh Minh Do Kazuhiro Ogata | 2023/9 |
Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way | ACM Transactions on Software Engineering and Methodology | Canh Minh Do Yati Phyo Adrián Riesco Kazuhiro Ogata | 2023/9/30 |
Selected papers from the 15th international symposium on Theoretical Aspects of Software Engineering (TASE 2021) | Min Zhang Kazuhiro Ogata | 2023/1 | |
Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving | Multimedia Tools and Applications | Dang Duy Bui Duong Dinh Tran Kazuhiro Ogata Adrian Riesco | 2023/7/24 |
Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version | PeerJ Computer Science | Duong Dinh Tran Canh Minh Do Santiago Escobar Kazuhiro Ogata | 2023/9/22 |
Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way | IEEE Access | Canh Minh Do Yati Phyo Kazuhiro Ogata | 2022/12/19 |
Parallel Specification-Based Testing for Concurrent Programs | IEEE Access | Canh Minh Do Kazuhiro Ogata | 2022/2/28 |
An integrated tool set for verifying CafeOBJ specifications | Journal of Systems and Software | Adrián Riesco Kazuhiro Ogata | 2022/7/1 |
Formal verification of TLS 1.2 by automatically generating proof scores | Computers & Security | Duong Dinh Tran Kazuhiro Ogata | 2022/12/1 |
Modeling and verification of the post-quantum key encapsulation mechanism KYBER using maude | CEUR Workshop Proceedings | Víctor García Santiago Escobar Román Kazuhiro Ogata | 2022 |