Jason Paul Cruz

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 29

Top Topics

Static Analysis

Top Venues

J. Inf. Process.

DPM/CBT@ESORICS

Publications

Hiromasa Kitai, Naoto Yanai, Kazuki Iwahana, Masataka Tatsumi, Jason Paul Cruz
A Study on Quantized Parameters for Protection of a Model and Its Inference Input. J. Inf. Process. 31 (2023)
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)
Chihiro Kado, Naoto Yanai, Jason Paul Cruz, Shingo Okamura
An Empirical Study of Impact of Solidity Compiler Updates on Vulnerabilities. PerCom Workshops (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)
Kazuki Iwahana, Naoto Yanai, Jason Paul Cruz, Toru Fujiwara
SPGC: Integration of Secure Multiparty Computation and Differential Privacy for Gradient Computation on Collaborative Learning. J. Inf. Process. 30 (2022)
Jason Paul Cruz, Naoto Yanai
APKC '22: 9th ACM ASIA Public-Key Cryptography Workshop. AsiaCCS (2022)
Hiromasa Kitai, Naoto Yanai, Kazuki Iwahana, Masataka Tatsumi, Jason Paul Cruz
MOTUS: How Quantized Parameters Improve Protection of Model and Its Inference Input. SecITC (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)
Kazuki Iwahana, Naoto Yanai, Jason Paul Cruz, Toru Fujiwara
SPGC: An Integrated Framework of Secure Computation and Differential Privacy for Collaborative Learning. DPM/CBT@ESORICS (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)
Naohisa Nishida, Tatsumi Oba, Yuji Unagami, Jason Paul Cruz, Naoto Yanai, Tadanori Teruya, Nuttapong Attrapadung, Takahiro Matsuda, Goichiro Hanaoka
Efficient Secure Neural Network Prediction Protocol Reducing Accuracy Degradation. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (12) (2020)
Atsuki Momose, Jason Paul Cruz, Yuichi Kaji
Hybrid-BFT: Optimistically Responsive Synchronous Consensus with Optimal Latency or Resilience. IACR Cryptol. ePrint Arch. 2020 (2020)
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)
Hiromasa Kitai, Jason Paul Cruz, Naoto Yanai, Naohisa Nishida, Tatsumi Oba, Yuji Unagami, Tadanori Teruya, Nuttapong Attrapadung, Takahiro Matsuda, Goichiro Hanaoka
MOBIUS: Model-Oblivious Binarized Neural Networks. IEEE Access 7 (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)
Hideharu Kojima, Naoto Yanai, Jason Paul Cruz
ISDSR+: Improving the Security and Availability of Secure Routing Protocol. IEEE Access 7 (2019)
Yuichi Kaji, Jason Paul Cruz, Yoshio Yatani
Hash-Based Signature with Constant-Sum Fingerprinting and Partial Construction of Hash Chains. ICETE (2) (2018)
Jason Paul Cruz, Yuichi Kaji, Naoto Yanai
RBAC-SC: Role-Based Access Control Using Smart Contract. IEEE Access 6 (2018)
Hiromasa Kitai, Jason Paul Cruz, Naoto Yanai, Naohisa Nishida, Tatsumi Oba, Yuji Unagami, Tadanori Teruya, Nuttapong Attrapadung, Takahiro Matsuda, Goichiro Hanaoka
MOBIUS: Model-Oblivious Binarized Neural Networks. CoRR (2018)
Naoto Yanai, Jason Paul Cruz
On Security of Anonymous Invitation-Based System. DPM/CBT@ESORICS (2018)
Jason Paul Cruz, Yoshio Yatani, Yuichi Kaji
Constant-sum fingerprinting for Winternitz one-time signature. ISITA (2016)