Naoto Yanai

IEEE Open J. Commun. Soc., 2023

A Study on Quantized Parameters for Protection of a Model and Its Inference Input.

[BibT_eX]

[DOI]

J. Inf. Process., 2023

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

[BibT_eX]

[DOI]

CoRR, 2023

Do Backdoors Assist Membership Inference Attacks?

[BibT_eX]

[DOI]

CoRR, 2023

Anonymous Broadcast Authentication With One-to-Many Transmission to Control IoT Devices.

[BibT_eX]

[DOI]

IEEE Access, 2023

Membership Inference Attacks against Diffusion Models.

[BibT_eX]

[DOI]

Tomoya Matsumoto

Takayuki Miura

Proceedings of the 2023 IEEE Security and Privacy Workshops (SPW), 2023

Privacy-Preserving Taxi-Demand Prediction Using Federated Learning.

[BibT_eX]

[DOI]

Proceedings of the 2023 IEEE International Conference on Smart Computing, 2023

MADONNA: Browser-Based MAlicious Domain Detection Through Optimized Neural Network with Feature Analysis.

[BibT_eX]

[DOI]

Proceedings of the ICT Systems Security and Privacy Protection, 2023

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

[BibT_eX]

[DOI]

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

IoT-REX: A Secure Remote-Control System for IoT Devices from Centralized Multi-designated Verifier Signatures.

[BibT_eX]

[DOI]

Yohei Watanabe

Junji Shikata

Proceedings of the Information Security Practice and Experience, 2023

Generic Construction of Key-Aggregate Searchable Encryption.

[BibT_eX]

[DOI]

Masahiro Kamimura

Kyosuke Yamashita

Proceedings of the 1st ACM SIGSPATIAL International Workshop on Geo-Privacy and Data Utility for Smart Societies, 2023

Backdoor Attacks Leveraging Latent Representation in Competitive Learning.

[BibT_eX]

[DOI]

Kazuki Iwahana

Proceedings of the Computer Security. ESORICS 2023 International Workshops, 2023

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Inf. Process., 2022

SPGC: Integration of Secure Multiparty Computation and Differential Privacy for Gradient Computation on Collaborative Learning.

[BibT_eX]

[DOI]

J. Inf. Process., 2022

MOTUS: How Quantized Parameters Improve Protection of Model and Its Inference Input.

[BibT_eX]

[DOI]

Proceedings of the Innovative Security Solutions for Information Technology and Communications, 2022

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

[BibT_eX]

[DOI]

Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022

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

[BibT_eX]

[DOI]

Proceedings of the IEEE Intl. Conf. on Dependable, 2022

APKC '22: 9th ACM ASIA Public-Key Cryptography Workshop.

[BibT_eX]

[DOI]

Proceedings of the ASIA CCS '22: ACM Asia Conference on Computer and Communications Security, Nagasaki, Japan, 30 May 2022, 2022

2021

Multi-scale Self-Organizing Map assisted Deep Autoencoding Gaussian Mixture Model for unsupervised intrusion detection.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2021

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

[BibT_eX]

[DOI]

J. Inf. Process., 2021

First to Possess His Statistics: Data-Free Model Extraction Attack on Tabular Data.

[BibT_eX]

[DOI]

CoRR, 2021

MADMAX: Browser-Based Malicious Domain Detection Through Extreme Learning Machine.

[BibT_eX]

[DOI]

IEEE Access, 2021

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

[BibT_eX]

[DOI]

Proceedings of the ICC 2021, 2021

SPGC: An Integrated Framework of Secure Computation and Differential Privacy for Collaborative Learning.

[BibT_eX]

[DOI]

Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2021

Self-Organizing Map assisted Deep Autoencoding Gaussian Mixture Model for Intrusion Detection.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE Annual Consumer Communications & Networking Conference, 2021

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Networking and Applications, 2021

Anonymous Broadcast Authentication for Securely Remote-Controlling IoT Devices.

[BibT_eX]

[DOI]

Yohei Watanabe

Junji Shikata

Proceedings of the Advanced Information Networking and Applications, 2021

2020

Model Extraction Attacks on Recurrent Neural Networks.

[BibT_eX]

[DOI]

Tatsuya Takemura

J. Inf. Process., 2020

Efficient Secure Neural Network Prediction Protocol Reducing Accuracy Degradation.

[BibT_eX]

[DOI]

Nuttapong Attrapadung

Takahiro Matsuda

Goichiro Hanaoka

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

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

[BibT_eX]

[DOI]

CoRR, 2020

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

[BibT_eX]

[DOI]

CoRR, 2020

Model Extraction Attacks against Recurrent Neural Networks.

[BibT_eX]

[DOI]

Tatsuya Takemura

CoRR, 2020

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

[BibT_eX]

[DOI]

IEEE Access, 2020

A Model Checking Method for Secure Routing Protocols by SPIN with State Space Reduction.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium Workshops, 2020

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Access, 2019

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

[BibT_eX]

[DOI]

IEEE Access, 2019

MOBIUS: Model-Oblivious Binarized Neural Networks.

[BibT_eX]

[DOI]

Nuttapong Attrapadung

Takahiro Matsuda

Goichiro Hanaoka

IEEE Access, 2019

Implementation and Evaluation of ISDSR in Emulation Environments.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Wireless Communications and Networking Conference, 2019

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

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

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

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Computing and Networking Workshops, 2019

2018

An Anonymous Authentication Protocol for the Smart Grid.

[BibT_eX]

[DOI]

Hikaru Kishimoto

Shingo Okamura

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

Detecting Flooding Attack and Accommodating Burst Traffic in Delay-Tolerant Networks.

[BibT_eX]

[DOI]

IEEE Trans. Veh. Technol., 2018

Tighter Reductions for Deterministic Identity-Based Signatures.

[BibT_eX]

[DOI]

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

Meeting Tight Security for Multisignatures in the Plain Public Key Model.

[BibT_eX]

[DOI]

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

RBAC-SC: Role-Based Access Control Using Smart Contract.

[BibT_eX]

[DOI]

Yuichi Kaji

IEEE Access, 2018

On Security of Anonymous Invitation-Based System.

[BibT_eX]

[DOI]

Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2018

2017

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

[BibT_eX]

[DOI]

Hikaru Kishimoto

Shingo Okamura

J. Inf. Process., 2017

Provably Secure Structured Signature Schemes with Tighter Reductions.

[BibT_eX]

[DOI]

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

Provably Secure Gateway Threshold Password-Based Authenticated Key Exchange Secure against Undetectable On-Line Dictionary Attack.

[BibT_eX]

[DOI]

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

Performance Evaluation for the Signature Algorithm of ISDSR on Raspberry Pi.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Symposium on Computing and Networking, 2017

Towards Efficient and Secure Encrypted Databases: Extending Message-Locked Encryption in Three-Party Model.

[BibT_eX]

[DOI]

Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2017

Identity-Based Key-Insulated Aggregate Signatures, Revisited.

[BibT_eX]

[DOI]

Nobuaki Kitajima

Takashi Nishide

Proceedings of the Information Security and Cryptology - 13th International Conference, 2017

An Anonymous Authentication Protocol for Smart Grid.

[BibT_eX]

[DOI]

Hikaru Kishimoto

Shingo Okamura

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

2016

Fail-Stop Signatures for Multiple-Signers: Definitions, Constructions, and Their Extensions.

[BibT_eX]

[DOI]

J. Inf. Process., 2016

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

[BibT_eX]

[DOI]

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

Web security model with cache.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

On the Tightness of Deterministic Identity-Based Signatures.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Symposium on Computing and Networking, 2016

Towards Provable Security of Dynamic Source Routing Protocol and Its Applications.

[BibT_eX]

[DOI]

Proceedings of the Advances in Conceptual Modeling, 2016

Tightly-Secure Identity-Based Structured Aggregate Signature Scheme under the Computational Diffie-Hellman Assumption.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications, 2016

2015

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

[BibT_eX]

[DOI]

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

Gateway Threshold Password-based Authenticated Key Exchange Secure against Undetectable On-line Dictionary Attack.

[BibT_eX]

[DOI]

Proceedings of the SECRYPT 2015, 2015

Another Look at Aggregate Signatures: Their Capability and Security on Network Graphs.

[BibT_eX]

[DOI]

Proceedings of the Trusted Systems - 7th International Conference, 2015

Revisiting Authentication with Shoulder-Surfing Resistance for Smartphones.

[BibT_eX]

[DOI]

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

Constructions of Fail-Stop Signatures for Multi-signer Setting.

[BibT_eX]

[DOI]

Proceedings of the 10th Asia Joint Conference on Information Security, 2015

2014

A CDH-based Ordered Multisignature Scheme Provably Secure without Random Oracles.

[BibT_eX]

[DOI]

J. Inf. Process., 2014

A CDH-based ordered multisignature scheme in the standard model with better efficiency.

[BibT_eX]

[DOI]

Eiji Okamoto

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

2013

An Ordered Multisignature Scheme Under the CDH Assumption Without Random Oracles.

[BibT_eX]

[DOI]

Eiji Okamoto

Proceedings of the Information Security, 16th International Conference, 2013

2012

A Certificateless Ordered Sequential Aggregate Signature Scheme Secure against Super Adverssaries.

[BibT_eX]

[DOI]

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2012

2011

A Secure Structured Multisignature Scheme Based on a Non-commutative Ring Homomorphism.

[BibT_eX]

[DOI]

Eikoh Chida

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

Certificateless Ordered Sequential Aggregate Signature Scheme.

[BibT_eX]

[DOI]

Proceedings of the 2011 Third International Conference on Intelligent Networking and Collaborative Systems (INCoS), Fukuoka, Japan, November 30, 2011

2010

A structured aggregate signature scheme.

[BibT_eX]

[DOI]

Eikoh Chida