Shingo Okamura

According to our database, Shingo Okamura authored at least 34 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

JABBERWOCK: A Tool for WebAssembly Dataset Generation and Its Application to Malicious Website Detection.

Chika Komiya, Naoto Yanai, Kyosuke Yamashita, Shingo Okamura

J. Inf. Process., 2024

2023

APVAS: Reducing the Memory Requirement of AS_PATH Validation by Introducing Aggregate Signatures into BGPsec.

Ouyang Junjie, Naoto Yanai, Tatsuya Takemura, Masayuki Okada, Shingo Okamura, Jason Paul Cruz

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., March, 2023

An Empirical Study of Impact of Solidity Compiler Updates on Vulnerabilities in Ethereum Smart Contracts.

Chihiro Kado, Naoto Yanai, Jason Paul Cruz, Kyosuke Yamashita, Shingo Okamura

CoRR, 2023

An Empirical Study of Impact of Solidity Compiler Updates on Vulnerabilities.

Chihiro Kado, Naoto Yanai, Jason Paul Cruz, Shingo Okamura

Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2023

Motivation in Teaching Expert Development Project by KOSEN Security Educational Community.

Keiichi Yonemura, Ryotaro Nakata, Hideyuki Kobayashi, Masaki Hashimoto, Shinya Oyama, Jun Sato, Tatsuki Fukuda, Hisashi Taketani, Manabu Hirano, Satoru Yamada, Keiichi Shiraishi, Satoru Izumi, Noriaki Hayashi, Hiroyuki Okamoto, Hideaki Moriyama, Youichi Fujimoto, Shingo Okamura, Yoshinori Sakamoto, Shigeo Doi, Masao Maruyama, Tomoharu Kaeriyama, Kentaro Noguchi, Seiichi Kishimoto

Proceedings of the IEEE Global Engineering Education Conference, 2023

JABBERWOCK: A Tool for WebAssembly Dataset Generation towards Malicious Website Detection.

Chika Komiya, Naoto Yanai, Kyosuke Yamashita, Shingo Okamura

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2022

SQUAB: A Virtualized Infrastructure for BGP-related Experiments and Its Applications to Evaluation on BGPsec.

Naoki Umeda, Naoto Yanai, Tatsuya Takemura, Masayuki Okada, Jason Paul Cruz, Shingo Okamura

J. Inf. Process., 2022

2021

RA: A Static Analysis Tool for Analyzing Re-Entrancy Attacks in Ethereum Smart Contracts.

Yuichiro Chinen, Naoto Yanai, Jason Paul Cruz, Shingo Okamura

J. Inf. Process., 2021

APVAS+: A Practical Extension of BGPsec with Low Memory Requirement.

Tatsuya Takemura, Naoto Yanai, Naoki Umeda, Masayuki Okada, Shingo Okamura, Jason Paul Cruz

Proceedings of the ICC 2021, 2021

Eth2Vec: Learning Contract-Wide Code Representations for Vulnerability Detection on Ethereum Smart Contracts.

Nami Ashizawa, Naoto Yanai, Jason Paul Cruz, Shingo Okamura

Proceedings of the BSCI '21: Proceedings of the 3rd ACM International Symposium on Blockchain and Secure Critical Infrastructure, 2021

SQUAB: A Virtualized Infrastructure for Experiments on BGP and its Extensions.

Naoki Umeda, Naoto Yanai, Tatsuya Takemura, Masayuki Okada, Jason Paul Cruz, Shingo Okamura

Proceedings of the Advanced Information Networking and Applications, 2021

2020

APVAS: Reducing Memory Size of AS_PATH Validation by Using Aggregate Signatures.

Ouyang Junjie, Naoto Yanai, Tatsuya Takemura, Masayuki Okada, Shingo Okamura, Jason Paul Cruz

CoRR, 2020

Hunting for Re-Entrancy Attacks in Ethereum Smart Contracts via Static Analysis.

Yuichiro Chinen, Naoto Yanai, Jason Paul Cruz, Shingo Okamura

CoRR, 2020

Key-Aggregate Searchable Encryption, Revisited: Formal Foundations for Cloud Applications, and Their Implementation.

Masahiro Kamimura, Naoto Yanai, Shingo Okamura, Jason Paul Cruz

IEEE Access, 2020

RA: Hunting for Re-Entrancy Attacks in Ethereum Smart Contracts via Static Analysis.

Yuichiro Chinen, Naoto Yanai, Jason Paul Cruz, Shingo Okamura

Proceedings of the IEEE International Conference on Blockchain, 2020

2019

Towards Further Formal Foundation of Web Security: Expression of Temporal Logic in Alloy and Its Application to a Security Model With Cache.

Hayato Shimamoto, Naoto Yanai, Shingo Okamura, Jason Paul Cruz, Shouei Ou, Takao Okubo

IEEE Access, 2019

2018

An Anonymous Authentication Protocol for the Smart Grid.

Hikaru Kishimoto, Naoto Yanai, Shingo Okamura

Proceedings of the Smart Micro-Grid Systems Security and Privacy, 2018

2017

SPaCIS: Secure Payment Protocol for Charging Information over Smart Grid.

Hikaru Kishimoto, Naoto Yanai, Shingo Okamura

J. Inf. Process., 2017

An Anonymous Authentication Protocol for Smart Grid.

Hikaru Kishimoto, Naoto Yanai, Shingo Okamura

Proceedings of the 31st International Conference on Advanced Information Networking and Applications Workshops, 2017

2016

ISDSR: Secure DSR with ID-based Sequential Aggregate Signature.

Kenta Muranaka, Naoto Yanai, Shingo Okamura, Toru Fujiwara

Proceedings of the 13th International Joint Conference on e-Business and Telecommunications (ICETE 2016), 2016

Web security model with cache.

Hayato Shimamoto, Naoto Yanai, Shingo Okamura, Toru Fujiwara

Proceedings of the 2016 International Symposium on Information Theory and Its Applications, 2016

Towards a formal foundation of protection against data-oriented attacks.

Ryo Fukuyama, Naoto Yanai, Shingo Okamura, Toru Fujiwara

Proceedings of the 2016 International Symposium on Information Theory and Its Applications, 2016

2015

Secure Routing Protocols for Sensor Networks: Construction with Signature Schemes for Multiple Signers.

Kenta Muranaka, Naoto Yanai, Shingo Okamura, Toru Fujiwara

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

Revisiting Authentication with Shoulder-Surfing Resistance for Smartphones.

Yuma Higashiyama, Naoto Yanai, Shingo Okamura, Toru Fujiwara

Proceedings of the Third International Symposium on Computing and Networking, 2015

2014

Secure consolidation of charging information over Smart Grid using ID federation.

Hikaru Kishimoto, Shingo Okamura

Proceedings of the International Symposium on Information Theory and its Applications, 2014

2010

A Metric of Search Efficiency and Preventability of Polluted Contents for Unstructured Overlay.

Hiroaki Yamanaka, Toru Fujiwara, Shingo Okamura

Proceedings of the Tenth Annual International Symposium on Applications and the Internet, 2010

An Approach for Filtering Inaccurate Access Point Observation Report in WiFi Positioning System.

Toyokazu Akiyama, Yuuichi Teranishi, Shingo Okamura, Shinji Shimojo

Proceedings of the 3PGCIC 2010, 2010

2009

A Consideration of the Precision Improvement in WiFi Positioning System.

Toyokazu Akiyama, Yuuichi Teranishi, Shingo Okamura, Shinji Shimojo

Proceedings of the 2009 International Conference on Complex, 2009

2008

An Authentication System Development in Application of Grid Middleware to a Nationwide Joint-Use Environment for Computing.

Eisaku Sakane, Manabu Higashida, Shingo Okamura, Toyokazu Akiyama, Ken-ichi Baba, Shinji Shimojo, Yuuichi Teranishi

Proceedings of the 2008 International Symposium on Applications and the Internet, 2008

Efficient Multi-authorizer Accredited Symmetrically Private Information Retrieval.

Mohamed Layouni, Maki Yoshida, Shingo Okamura

Proceedings of the Information and Communications Security, 10th International Conference, 2008

2007

A Private and Consistent Data Retrieval Scheme with Log-Squared Communication.

Satoshi Nakayama, Maki Yoshida, Shingo Okamura, Toru Fujiwara

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007

A Report of Campus-Wide IT Authentication Platform System Development in Osaka University.

Toyokazu Akiyama, Yuuichi Teranishi, Shingo Okamura, Eisaku Sakane, Go Hasegawa, Ken-ichi Baba, Hirotaka Nakano, Shinji Shimojo

Proceedings of the 2007 International Symposium on Applications and the Internet, 2007

2005

Unlinkable Delivery System for Interactive Dramas.

Shingo Okamura, Yoshiyuki Konishi, Maki Yoshida, Toru Fujiwara

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005

Coin-based Anonymous Fingerprinting Scheme with Automatic Identification of Redistributors.

Shingo Okamura, Maki Yoshida, Toru Fujiwara

Proceedings of the ISSA 2005 New Knowledge Today Conference, 29 June, 2005