Shingo Okamura

40 papers C 6Misc 1Journal 18Unranked 14
YearRankTypeTitle / Venue / Authors
2025 J jnl
Empirical Study of Impact of Solidity Compiler Updates on Vulnerabilities in Ethereum Smart Contracts.
Distributed Ledger Technol. Res. Pract.
Chihiro Kado, Naoto Yanai, Jason Paul Cruz, Kyosuke Yamashita, Shingo Okamura
2025 J jnl
Quo Vadis Diffusion Model? A Case for Membership Inference Attacks.
IEICE Trans. Inf. Syst.
Tomoya Matsumoto, Takayuki Miura, Shingo Okamura, Behrouz Zolfaghari, Naoto Yanai
2025 J jnl
Removing Mislabeled Data from Trained Models via Machine Unlearning.
IEICE Trans. Inf. Syst.
Issa Sugiura, Shingo Okamura, Naoto Yanai
2024 J jnl
JABBERWOCK: A Tool for WebAssembly Dataset Generation and Its Application to Malicious Website Detection.
J. Inf. Process.
Chika Komiya, Naoto Yanai, Kyosuke Yamashita, Shingo Okamura
2023 J jnl
APVAS: Reducing the Memory Requirement of AS_PATH Validation by Introducing Aggregate Signatures into BGPsec.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Ouyang Junjie, Naoto Yanai, Tatsuya Takemura, Masayuki Okada, Shingo Okamura, Jason Paul Cruz
2023 J jnl
An Empirical Study of Impact of Solidity Compiler Updates on Vulnerabilities in Ethereum Smart Contracts.
CoRR
Chihiro Kado, Naoto Yanai, Jason Paul Cruz, Kyosuke Yamashita, Shingo Okamura
2023 — conf
An Empirical Study of Impact of Solidity Compiler Updates on Vulnerabilities.
PerCom Workshops
Chihiro Kado, Naoto Yanai, Jason Paul Cruz, Shingo Okamura
2023 J jnl
JABBERWOCK: A Tool for WebAssembly Dataset Generation and Its Application to Malicious Website Detection.
CoRR
Chika Komiya, Naoto Yanai, Kyosuke Yamashita, Shingo Okamura
2023 — conf
JABBERWOCK: A Tool for WebAssembly Dataset Generation towards Malicious Website Detection.
DSN-W
Chika Komiya, Naoto Yanai, Kyosuke Yamashita, Shingo Okamura
2023 C conf
Motivation in Teaching Expert Development Project by KOSEN Security Educational Community.
EDUCON
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
2022 J jnl
SQUAB: A Virtualized Infrastructure for BGP-related Experiments and Its Applications to Evaluation on BGPsec.
J. Inf. Process.
Naoki Umeda, Naoto Yanai, Tatsuya Takemura, Masayuki Okada, Jason Paul Cruz, Shingo Okamura
2021 — conf
APVAS+: A Practical Extension of BGPsec with Low Memory Requirement.
ICC
Tatsuya Takemura, Naoto Yanai, Naoki Umeda, Masayuki Okada, Shingo Okamura, Jason Paul Cruz
2021 — conf
Eth2Vec: Learning Contract-Wide Code Representations for Vulnerability Detection on Ethereum Smart Contracts.
BSCI
Nami Ashizawa, Naoto Yanai, Jason Paul Cruz, Shingo Okamura
2021 J jnl
Eth2Vec: Learning Contract-Wide Code Representations for Vulnerability Detection on Ethereum Smart Contracts.
CoRR
Nami Ashizawa, Naoto Yanai, Jason Paul Cruz, Shingo Okamura
2021 J jnl
RA: A Static Analysis Tool for Analyzing Re-Entrancy Attacks in Ethereum Smart Contracts.
J. Inf. Process.
Yuichiro Chinen, Naoto Yanai, Jason Paul Cruz, Shingo Okamura
2021 — conf
SQUAB: A Virtualized Infrastructure for Experiments on BGP and its Extensions.
AINA (1)
Naoki Umeda, Naoto Yanai, Tatsuya Takemura, Masayuki Okada, Jason Paul Cruz, Shingo Okamura
2020 J jnl
APVAS: Reducing Memory Size of AS_PATH Validation by Using Aggregate Signatures.
CoRR
Ouyang Junjie, Naoto Yanai, Tatsuya Takemura, Masayuki Okada, Shingo Okamura, Jason Paul Cruz
2020 J jnl
Hunting for Re-Entrancy Attacks in Ethereum Smart Contracts via Static Analysis.
CoRR
Yuichiro Chinen, Naoto Yanai, Jason Paul Cruz, Shingo Okamura
2020 J jnl
Key-Aggregate Searchable Encryption, Revisited: Formal Foundations for Cloud Applications, and Their Implementation.
IEEE Access
Masahiro Kamimura, Naoto Yanai, Shingo Okamura, Jason Paul Cruz
2020 — conf
RA: Hunting for Re-Entrancy Attacks in Ethereum Smart Contracts via Static Analysis.
Blockchain
Yuichiro Chinen, Naoto Yanai, Jason Paul Cruz, Shingo Okamura
2019 J jnl
Key-Aggregate Searchable Encryption, Revisited: Formal Foundations for Cloud Applications, and Their Implementation.
CoRR
Masahiro Kamimura, Naoto Yanai, Shingo Okamura, Jason Paul Cruz
2019 J jnl
Towards Further Formal Foundation of Web Security: Expression of Temporal Logic in Alloy and Its Application to a Security Model With Cache.
IEEE Access
Hayato Shimamoto, Naoto Yanai, Shingo Okamura, Jason Paul Cruz, Shouei Ou, Takao Okubo
2018 — ch.
An Anonymous Authentication Protocol for the Smart Grid.
Smart Micro-Grid Systems Security and Privacy
Hikaru Kishimoto, Naoto Yanai, Shingo Okamura
2017 — conf
An Anonymous Authentication Protocol for Smart Grid.
AINA Workshops
Hikaru Kishimoto, Naoto Yanai, Shingo Okamura
2017 J jnl
SPaCIS: Secure Payment Protocol for Charging Information over Smart Grid.
J. Inf. Process.
Hikaru Kishimoto, Naoto Yanai, Shingo Okamura
2016 C conf
ISDSR: Secure DSR with ID-based Sequential Aggregate Signature.
SECRYPT
Kenta Muranaka, Naoto Yanai, Shingo Okamura, Toru Fujiwara
2016 C conf
Towards a formal foundation of protection against data-oriented attacks.
ISITA
Ryo Fukuyama, Naoto Yanai, Shingo Okamura, Toru Fujiwara
2016 C conf
Web security model with cache.
ISITA
Hayato Shimamoto, Naoto Yanai, Shingo Okamura, Toru Fujiwara
2015 — conf
Revisiting Authentication with Shoulder-Surfing Resistance for Smartphones.
CANDAR
Yuma Higashiyama, Naoto Yanai, Shingo Okamura, Toru Fujiwara
2015 — conf
Secure Routing Protocols for Sensor Networks: Construction with Signature Schemes for Multiple Signers.
TrustCom/BigDataSE/ISPA (1)
Kenta Muranaka, Naoto Yanai, Shingo Okamura, Toru Fujiwara
2014 C conf
Secure consolidation of charging information over Smart Grid using ID federation.
ISITA
Hikaru Kishimoto, Shingo Okamura
2010 — conf
A Metric of Search Efficiency and Preventability of Polluted Contents for Unstructured Overlay.
SAINT
Hiroaki Yamanaka, Toru Fujiwara, Shingo Okamura
2010 — conf
An Approach for Filtering Inaccurate Access Point Observation Report in WiFi Positioning System.
3PGCIC
Toyokazu Akiyama, Yuuichi Teranishi, Shingo Okamura, Shinji Shimojo
2009 Misc conf
A Consideration of the Precision Improvement in WiFi Positioning System.
CISIS
Toyokazu Akiyama, Yuuichi Teranishi, Shingo Okamura, Shinji Shimojo
2008 — conf
An Authentication System Development in Application of Grid Middleware to a Nationwide Joint-Use Environment for Computing.
SAINT
Eisaku Sakane, Manabu Higashida, Shingo Okamura, Toyokazu Akiyama, Ken-ichi Baba, Shinji Shimojo, Yuuichi Teranishi
2008 C conf
Efficient Multi-authorizer Accredited Symmetrically Private Information Retrieval.
ICICS
Mohamed Layouni, Maki Yoshida, Shingo Okamura
2007 J jnl
A Private and Consistent Data Retrieval Scheme with Log-Squared Communication.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Satoshi Nakayama, Maki Yoshida, Shingo Okamura, Toru Fujiwara
2007 — conf
A Report of Campus-Wide IT Authentication Platform System Development in Osaka University.
SAINT Workshops
Toyokazu Akiyama, Yuuichi Teranishi, Shingo Okamura, Eisaku Sakane, Go Hasegawa, Ken-ichi Baba, Hirotaka Nakano, Shinji Shimojo
2005 — conf
Coin-based Anonymous Fingerprinting Scheme with Automatic Identification of Redistributors.
ISSA
Shingo Okamura, Maki Yoshida, Toru Fujiwara
2005 J jnl
Unlinkable Delivery System for Interactive Dramas.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Shingo Okamura, Yoshiyuki Konishi, Maki Yoshida, Toru Fujiwara