PUBLICATIONSPUBLICATONS

T. Ichioka, Y. Watanabe, and Y. Hara, “eFPGA-Based Datapath Redaction for Processor IP Protection,” IEEE Access, vol. 14, pp. 66465–66476, 2026.

Y. Lu, K. Hara, K. Ohara, J. C. N. Schuldt, and K. Tanaka, “Efficient Two-Party Exponentiation from Quotient Transfer,” IEICE Transactions on Information and Systems, Vol. 108, No. 12, pp. 1526–1537, 2025.

T. Yagawa, T. Teruya, K. Ohara, K. Suzaki, and H. Abe, “Clarifying CPU Vendor’s Responsibilities for Remote Attestation with Intel SGX,” IEICE Transactions on Fundamentals, Vol. 109, No. 3, pp. 305–316, 2026.

K. Asano, M. Iwamoto, and Y. Watanabe, “Protecting against Partial Key Exposure in Key-Insulated Encryption,” IEICE Transactions on Fundamentals, Vol. 108, pp. 1139–1151, 2025.

M. Nomura, D. Miyahara, Y. Li, and K. Sakiyama, “Side-Channel-Based Verification of Logic-Locked Circuits for Functionality and Authenticity,” NCSP 2026, pp. 469–472, 2026.

Y. Takino, D. Miyahara, Y. Li, and K. Sakiyama, “A Practical Evaluation Model for SAT-Attack Resistance in LUT-Locked Circuits,” NCSP 2026, pp. 338–341, 2026.

R. Kanehiro, Y. Watanabe, and M. Iwamoto, “Hybrid PoA on Aztec: Proof of Asset Ownership over Public and Private Balances via Hierarchical Proof-Carrying Data,” CoDecFin 2026, 2026.

C. J. Clarke, Y. Kasashima, K. Sato, and Y. Watanabe, “SoK: Searchable Encryption with Differential Privacy,” APKC 2025, pp. 25–33, 2025.

T. Ono, S. Ruangwises, Y. Abe, K. Hatsugai, and M. Iwamoto, “Single-Shuffle Physical Zero-Knowledge Proof for Sudoku Using Interactive Inputs,” APKC 2025, pp. 1–8, 2025.

K. Sato, T. Amada, K. Asano, Y. Watanabe, M. Iwamoto, and K. Ohta, “Revisiting Relations of Security Notions in Searchable Encryption,” APKC 2025, pp. 17–24, 2025.

K. Asano, N. Attrapadung, K. Hara, K. Hashimoto, and Y. Watanabe, “Key Revocation in Registered Attribute-Based Encryption,” PKC 2025, pp. 102–133, 2025.

K. Asano and Y. Watanabe, “Updatable Public Key Encryption with Strong CCA Security: Security Analysis and Efficient Generic Construction,” CT-RSA 2025, pp. 223–246, 2025.

Y. Kasashima, K. Sugimoto, M. Iwamoto, and Y. Watanabe, “Generalized Malicious Security for Private Set Intersection,” IWSEC 2026, Poster, 2026.

M. Yoshimura, K. Asano, K. Emura, A. Takayasu, and Y. Watanabe, “On the Public Verifiability of CCA-Secure Public-Key Encryption,” IWSEC 2026, Poster, 2026.

Y. Watanabe, K. Asano, H. Hirata, T. Ono, M. Yang, M. Iwamoto, Y. Li, and Y. Hara, “PSYLOCKE: Provably Secure Logic Locking with Practical Efficiency,” USENIX Security 2025, Poster, Seattle, WA, USA, 2025.

Mayu Nomura, Daiki Miyahara, Yang Li, and Kazuo Sakiyama, “Functional Verification and Authenticity Validation of Logic-Locked Circuits Using Side-Channel Authentication Techniques,” NEWCAS 2025, Poster, 2025.

Yuto Takino, Daiki Miyahara, Yang Li, and Kazuo Sakiyama, “A Security Evaluation Model for LUT-Based Logic Locking,” NEWCAS 2025, Poster, 2025.

APKC 2025 Best Paper Award (T. Ono, S. Ruangwises, Y. Abe, K. Hatsugai, and M. Iwamoto), “Single-Shuffle Physical Zero-Knowledge Proof for Sudoku Using Interactive Inputs,” APKC 2025, 2025.

T. Tanaka, K. Sawada, Y. Watanabe, and M. Iwamoto, “Covert Vehicle Misguidance and Its Detection: A Hypothesis Testing Game over Continuous-Time Dynamics,” IEEE Control Systems Letters, vol. 8, pp. 2889–2894, IEEE, 2024.

T. Ichioka, Y. Watanabe, and Y. Hara, “PreLock: Precision Locking for Protecting Embedded Processor,” AsianHOST 2024, 2024. (To appear)

Y. Kasashima, K. Sugimoto, Y. Watanabe and M. Iwamoto, “Towards Defining a New Security Model for Private Set Intersection,” IWSEC 2024, Poster, Kyoto, Japan, 2024.

T. Ono, H. Hirata, K. Asano, M. Yang, Y. Watanabe, Y. Hara, and M. Iwamoto, “Towards Efficient Logic Locking with Provable Security,” IWSEC 2024, Poster, Kyoto, Japan, 2024.

K. Sugimoto, Y. Watanabe and M. Iwamoto, “Multi-Party Computation for Large-Scale Parties in the Real World,” IWSEC 2024, Poster, Kyoto, Japan, 2024.

M. Iwamoto, “Information-Theoretic Perspectives for Simulation-Based Security in Multi-Party Computation,” IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, vol.EA107-A, no.3, pp.360–372, IEICE, 2024. [Invited Paper]