Shingo Okamura

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 24

Top Topics

Provably Secure

Static Analysis

Top Venues

J. Inf. Process.

Publications

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