Personal information

Verified email domains

Japan

Activities

Employment (2)

Osaka Institute of Technology: Hirakata, JP

2022-04-01 to present | Associate Professor (Faculty of Information Science and Technology)
Employment
Source: Self-asserted source
Hideharu Kojima

Osaka University: Suita, JP

2012-04-01 to 2022-03-31 | Assistant Professor (Graduate School of Information Science abd Technology)
Employment
Source: Self-asserted source
Hideharu Kojima

Works (35)

Performance Evaluation of ID-Based Aggregate Signature Scheme Based on Lattice for Wireless Multi-hop Secure Routing Protocols

2024 7th International Conference on Information and Computer Technologies (ICICT)
2024-03-15 | Conference paper
Contributors: Seiya Ookura; Hideharu Kojima; Naoto Yanai
Source: Self-asserted source
Hideharu Kojima

Implementation and Evaluation of Leader Election in the Population Protocol Model Using an Emulation Environment

IEEE Intl. Conf. on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress, DASC/PiCom/CBDCom/CyberSciTech 2022, Falerna, Italy, September 12-15, 2022
2022 | Conference paper
Contributors: Keitaro Watanabe and Hideharu Kojima and Yuichi Sudo and Naoto Yanai and Tatsuhiro Tsuchiya
Source: Self-asserted source
Hideharu Kojima

Implementing Access Control in Chaincodes on Hyperledger Fabric with Attribute-Based Encryption

2022 IEEE 19th International Conference on Software Architecture Companion (ICSA-C)
2022-03 | Journal article
Source: Self-asserted source
Hideharu Kojima

Using simulated annealing for locating array construction

Information and Software Technology
2020-10 | Journal article
Part of ISSN: 0950-5849
Source: Self-asserted source
Hideharu Kojima

A Chaincode with Attribute-Based Encryption for Protecting Data in Ledgers

The Network and Distributed System Security Symposium (NDSS)
2020-02 | Conference poster
Source: Self-asserted source
Hideharu Kojima

A State Space Reduction Method for Model Checking of Wireless Multi-Hop Network Routing Protocols Focusing on Topologies

2019 Seventh International Symposium on Computing and Networking Workshops (CANDARW)
2019-11 | Conference paper
Source: Self-asserted source
Hideharu Kojima

A State Space Suppression Method for Formal Verification of Secure Routing Protocols With SPIN

2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
2019-10 | Conference paper
Source: Self-asserted source
Hideharu Kojima

データ暗号化機能を組み込んだチェーンコードの実装に関する研究

コンピュータセキュリティシンポジウム2019論文集
2019-10 | Conference paper
Part of ISSN: 1882-0840
Source: Self-asserted source
Hideharu Kojima

A Chain Code Mechanism with Data Encryption on Hyperledger Fabric

The 24th European Symposium on Research in Computer Security (ESORICS 2019)
2019-09 | Conference poster
Source: Self-asserted source
Hideharu Kojima

Using simulated annealing for locating array construction

2019-09-28 | Preprint
Source: Self-asserted source
Hideharu Kojima

ISDSR+: Improving the Security and Availability of Secure Routing Protocol

IEEE Access
2019-06 | Journal article
Part of ISSN: 2169-3536
Source: Self-asserted source
Hideharu Kojima

Implementation and Evaluation of ISDSR in Emulation Environments

2019 IEEE Wireless Communications and Networking Conference (WCNC)
2019-04 | Conference paper
Source: Self-asserted source
Hideharu Kojima

Finding minimum locating arrays using a CSP solver

2019-04-16 | Preprint
Source: Self-asserted source
Hideharu Kojima

The Aggregation Point Placement Problem for Power Distribution Systems

IEICE Transactions
2018 | Journal article
Source: Self-asserted source
Hideharu Kojima

コンテキストに注目したゴールモデルのモデル検査に関する研究

ソフトウェアエンジニアリングシンポジウム2018論文集
2018-08 | Conference paper
Source: Self-asserted source
Hideharu Kojima

Controlling Occurrence Frequencies of Parameter Values in Pair-Wise Testing

International Journal of Software Engineering and Knowledge Engineering
2018-07 | Journal article
Part of ISSN: 0218-1940
Part of ISSN: 1793-6403
Source: Self-asserted source
Hideharu Kojima

Finding Minimum Locating Arrays Using a SAT Solver

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017
2017 | Conference paper
Source: Self-asserted source
Hideharu Kojima
grade
Preferred source (of 2)‎

Performance Evaluation for the Signature Algorithm of ISDSR on Raspberry Pi

Fifth International Symposium on Computing and Networking, CANDAR 2017, Aomori, Japan, November 19-22, 2017
2017 | Conference paper
Source: Self-asserted source
Hideharu Kojima
grade
Preferred source (of 2)‎

State space reduction techniques for model checking of MANET protocols

International Journal of Networking and Computing
2017 | Journal article
Source: Self-asserted source
Hideharu Kojima

Model Checking Techniques for State Space Reduction in MANET Protocol Verification

2016 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPS Workshops 2016, Chicago, IL, USA, May 23-27, 2016
2016 | Conference paper
Source: Self-asserted source
Hideharu Kojima
grade
Preferred source (of 2)‎

Applying Parameter Value Weighting to a Practical Application

25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014
2014 | Conference paper
Source: Self-asserted source
Hideharu Kojima
grade
Preferred source (of 2)‎

Applying Random Testing to Constrained Interaction Testing

The 26th International Conference on Software Engineering and Knowledge Engineering, Hyatt Regency, Vancouver, BC, Canada, July 1-3, 2013.
2014 | Conference paper
Source: Self-asserted source
Hideharu Kojima

Locating a Faulty Interaction in Pair-wise Testing

20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014
2014 | Conference paper
Source: Self-asserted source
Hideharu Kojima
grade
Preferred source (of 2)‎

Modeling the Interaction of Power Line and SCADA Networks

15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014
2014 | Conference paper
Source: Self-asserted source
Hideharu Kojima
grade
Preferred source (of 2)‎

A Value Weighting Method for Pair-wise Testing

20th Asia-Pacific Software Engineering Conference, APSEC 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1
2013 | Conference paper
Source: Self-asserted source
Hideharu Kojima
grade
Preferred source (of 2)‎

A New Generation Children Tracking System Using Bluetooth MANET Composed of Android Mobile Terminals

9th International Conference on Ubiquitous Intelligence and Computing and 9th International Conference on Autonomic and Trusted Computing, UIC/ATC 2012, Fukuoka, Japan, September 4-7, 2012
2012 | Conference paper
Source: Self-asserted source
Hideharu Kojima
grade
Preferred source (of 2)‎

Maximizing Availability of Consistent Data in Unreliable Networks

18th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2012, Singapore, December 17-19, 2012
2012 | Conference paper
Source: Self-asserted source
Hideharu Kojima
grade
Preferred source (of 2)‎

A Self-Configurable New Generation Children Tracking System Based on Mobile Ad Hoc Networks Consisting of Android Mobile Terminals

10th International Symposium on Autonomous Decentralized Systems, ISADS 2011, Tokyo & Hiroshima, Japan, March 23-17, 2011
2011 | Conference paper
Source: Self-asserted source
Hideharu Kojima
grade
Preferred source (of 2)‎

A Transition Reduction Method for FSM of MANET Routing Protocol with Blacklist

10th International Symposium on Autonomous Decentralized Systems, ISADS 2011, Tokyo & Hiroshima, Japan, March 23-17, 2011
2011 | Conference paper
Source: Self-asserted source
Hideharu Kojima
grade
Preferred source (of 2)‎

Resource Management Middleware Using Mobile Agents for Mobile Ad Hoc Networks

30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 21-25 June 2010, Genova, Italy
2010 | Conference paper
Source: Self-asserted source
Hideharu Kojima
grade
Preferred source (of 2)‎

A model for concurrent states and its coverage criteria

International Symposium on Autonomous Decentralized Systems (ISADS 2009), 23-25 March 2009, Athens, Greece
2009 | Conference paper
Source: Self-asserted source
Hideharu Kojima
grade
Preferred source (of 2)‎

An Equivalent Division Method for Reducing Test Cases in State Transition Testing of MANET Protocols

IEICE Transactions
2009 | Journal article
Source: Self-asserted source
Hideharu Kojima

Coverage Based Testing for Concurrent Software

28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 17-20 June 2008, Beijing, China
2008 | Conference paper
Source: Self-asserted source
Hideharu Kojima
grade
Preferred source (of 2)‎

State Transition Model for Test Sequence Generation of MANET Clustering Protocols

27th International Conference on Distributed Computing Systems Workshops (ICDCS 2007 Workshops), June 25-29, 2007, Toronto, Ontario, Canada
2007 | Conference paper
Source: Self-asserted source
Hideharu Kojima
grade
Preferred source (of 2)‎

jShio - A Customization Language Compiler-Compiler

OOIS'2001, 7th International Conference on Object Oriented Information Systems, 27-29 August 2001, Calgary, Canada. Proceedings
2001 | Conference paper
Source: Self-asserted source
Hideharu Kojima