Kazuhiro Ogata
Japan Advanced Institute of Science and Technology
H-index: 22
Asia-Japan
Top articles of Kazuhiro Ogata
Proceedings of the 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC), 2023
2024/2/26
A Layered and Parallelized Method of Eventual Model Checking
Information
2023/7/6
Canh Minh Do
H-Index: 2
Kazuhiro Ogata
H-Index: 9
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
2023/3/31
Kazuhiro Ogata
H-Index: 9
A way to find counterexamples located at deep positions with domain knowledge of authentication protocols
2023/2/23
Kazuhiro Ogata
H-Index: 9
Formal Specification and Model Checking of Raft Leader Election in Maude
2023/2/23
Kazuhiro Ogata
H-Index: 9
Selected papers from the 15th international symposium on Theoretical Aspects of Software Engineering (TASE 2021)
2023/1
Min Zhang
H-Index: 21
Kazuhiro Ogata
H-Index: 9
Formal analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol
IEEE Access
2023/12/28
Kyber, Saber, and SK-MLWR Lattice-Based Key Encapsulation Mechanisms Model Checking with Maude
IET Information Security
2023/10/30
Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way
ACM Transactions on Software Engineering and Methodology
2023/9/30
Canh Minh Do
H-Index: 2
Kazuhiro Ogata
H-Index: 9
Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version
PeerJ Computer Science
2023/9/22
Modelling and verification of post-quantum key encapsulation mechanisms using Maude
PeerJ Computer Science
2023/9/19
Automated Quantum Program Verification in Dynamic Quantum Logic
2023/9/15
Canh Minh Do
H-Index: 2
Kazuhiro Ogata
H-Index: 9
Automatically extracting the correspondence between the natural language and the pseudo-code descriptions of instruction set manuals
2023/9
Kazuhiro Ogata
H-Index: 9
Symbolic model checking quantum circuits in maude
The 35th International Conference on Software Engineering and Knowledge Engineering, SEKE
2023/9
Canh Minh Do
H-Index: 2
Kazuhiro Ogata
H-Index: 9
Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving
Multimedia Tools and Applications
2023/7/24
Dang Duy Bui
H-Index: 1
Kazuhiro Ogata
H-Index: 9
Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way
IEEE Access
2022/12/19
Canh Minh Do
H-Index: 2
Kazuhiro Ogata
H-Index: 9
Formal verification of TLS 1.2 by automatically generating proof scores
Computers & Security
2022/12/1
Kazuhiro Ogata
H-Index: 9
Specifying and Model Checking Distributed Control Algorithms at Meta-level
The Computer Journal
2022/12
Kazuhiro Ogata
H-Index: 9
Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude.
2022/10/24
A tool for model checking eventual model checking in a stratified way
2022/8/4
Canh Minh Do
H-Index: 2
Kazuhiro Ogata
H-Index: 9