Kazuhiro Ogata - Publications, H-index & Citations

Formal Analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol

IF2.5

2024-06-20

OAAI

Do, Canh Minh; Ogata, Kazuhiro

Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way 以分层方式检查模型导向属性的优化技术

IF3.6

2024-01-01

OAAI

Tran, Duong Dinh; Ogata, Kazuhiro; Escobar, Santiago; Akleylek, Sedat; Otmani, Ayoub

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2023-09-30

OAAI

Canh Minh Do; Phyo, Yati; Riesco, Adrian; Ogata, Kazuhiro

Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version

Modelling and verification of post-quantum key encapsulation mechanisms using Maude

IF2.5

2023-09-22

OAAI

Duong Dinh Tran; Canh Minh Do; Escobar, Santiago; Ogata, Kazuhiro

Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving

IF2.5

2023-09-19

OAAI

Garcia, Victor; Escobar, Santiago; Ogata, Kazuhiro; Akleylek, Sedat; Otmani, Ayoub

MULTIMEDIA TOOLS AND APPLICATIONS

IF3

2023-07-24

OAAI

Bui, Dang Duy; Tran, Duong Dinh; Ogata, Kazuhiro; Riesco, Adrian

Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores

Formal verification of TLS 1.2 by automatically generating proof scores

IF2.5

2023-03-31

OAAI

Tran, Duong Dinh; Mon, Thet Wai; Ogata, Kazuhiro

COMPUTERS & SECURITY

IF5.4

2022-12-01

PREAI

Duong Dinh Tran; Ogata, Kazuhiro

An integrated tool set for verifying CafeOBJ specifications

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2022-07-01

OAAI

Riesco, Adrian; Ogata, Kazuhiro

Parallel Specification-Based Testing for Concurrent Programs 基于并行规范的并发程序测试

Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way

IF3.6

2022-01-01

OAAI

Minh Do, Canh; Ogata, Kazuhiro

Better state pictures facilitating state machine characteristic conjecture

IF3.6

2022-01-01

OAAI

Do, Canh Minh; Phyo, Yati; Ogata, Kazuhiro

MULTIMEDIA TOOLS AND APPLICATIONS

IF3

2021-05-26

OAAI

Bui, Dang Duy; Ogata, Kazuhiro

Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method

Formal analysis of RFC 8120 authentication protocol for HTTP under different assum ptions ?

IF3.6

2021-01-01

OAAI

Tran, Duong Dinh; Bui, Dang Duy; Ogata, Kazuhiro

A divide & conquer approach to liveness model checking under fairness & anti-fairness assumptions

IF3.7

2020-08-01

OAAI

Okumura, Naomi; Ogata, Kazuhiro; Shinoda, Yoichi

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2018-11-19

PREAI

Ogata, Kazuhiro

Formal analysis of a security protocol for e-passports based on rewrite theory specifications

Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores 证明给我看!从CafeOBJ证明分数推断正式证明脚本

IF3.7

2018-10-01

PREAI

Mandadi, Manjukeshwar Reddy; Mandadi, Varuneshwar Reddy; Ogata, Kazuhiro

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2018-07-19

PREAI

Riesco, Adrian; Ogata, Kazuhiro

Model checking the iKP electronic payment protocols

Formal modeling and analysis of time- and resource-sensitive simple business processes

IF3.7

2017-10-01

PREAI

Ogata, Kazuhiro