Conference Program
November 24th (Day 1), 2026
November 25th (Day 2), 2026
| Time (JST) | Session | Content |
|---|---|---|
| 09:30–11:10 |
Session 4: AI/ML Security Session Chair: TBA |
Risk-Aware Machine Learning: Defending Against Poisoning Attacks Through Risk Estimation and Ensemble Training Jasmita Malik, Raja Muthalagu and Pranav Mothabhau Pawar AI-Enabled Cyber Attacks and Attribution Challenges: A Framework for Risk and Accountability Anjali Kaushik A Formal Grammar Approach to Metamorphic Binary Transformation Matteo Ciccaglione, Pierciro Caliandro and Alessandro Pellegrini Source-Validated Selective LLM Invocation for Direct Prompt-Injection Attempt Detection under False-Bypass Constraints Ryuto Kitajima, Souya Yoshizuka, Kohei Miyamoto, Takeshi Takahashi and Kouichi Sakurai |
| 11:10–11:40 | Break & Poster Session 2 | |
| 11:40–12:40 |
Keynote II Session Chair: TBA |
Towards Quantum-safe privacy-preserving identification schemes Prof. Carsten Baum, Technical University of Denmark |
| 12:40–14:00 | Lunch | |
| 14:00–17:00 | Excursion | National Museum of Nature and Science |
| 18:00–20:00 | Banquet | Ueno Seiyoken |
November 26th (Day 3), 2026
| Time (JST) | Session | Content |
|---|---|---|
| 09:30–11:00 |
Session 5: Post-Quantum Cryptography Session Chair: TBA |
Improvements of Solving the Norm Equation in PEGASIS Ryo Negishi, Katsuyuki Takashima and Masaya Yasuda Solving systems of polynomial equations with multi-degrees via Macaulay matrices Shuhei Nakamura Higher-Order Bonferroni Bounds for the Solution-Existence Probability of Multivariate Polynomial Systems over Finite Fields Rintaro Matsumoto, Kosuke Sakata and Tsuyoshi Takagi Implementation and Performance Evaluation of SQIsign2DPush (Short Paper) Taketo Kitahama, Kohei Nakagawa, Haruhisa Kosuge and Koutarou Suzuki |
| 11:00–11:20 | Coffee Break | |
| 11:20–13:00 |
SCIS & CSS Session Session Chair: TBA |
TBA |
| 13:00–13:10 | Closing |
Session 1: Symmetric and Homomorphic Cryptography
Session Chair: TBA
On the Convergence Boundary of Hermite Based Cleaning in Discrete CKKS
Asuman Dumlu
Related Differentials of 4×4 MDS Matrices: A Complete Characterization
Kamil Otal, Ali Mert Sülçe and Oğuz Yayla
Improved Periodic Distinguishers for LBlock and TWINE
Boyun Li, Qun Liu and Meiqin Wang
Keynote I
Session Chair: TBA
Beyond Prompt Inspection: Monitor What LLMs Do, Not Just What Prompts Say
Prof. Rui Wen, Institute of Science Tokyo
Session 2: Software, Systems and Cyberphysical Security
Session Chair: TBA
Compliance as Code: A Study of Linux Distributions and Beyond
Jukka Ruohonen, Esmot Ara Tuli and Hiraku Morita
Runtime Enforcement for Agentic CPS Tool Invocation
Mateo Petel
Security Issues Arising from Controller Conflicts in Matter Smart Home (Short Paper)
Hikari Suda and Kuniyasu Suzaki
Separating Simulation Artifacts in UAV Cyberattack Evaluation
Masaki Soshima and Kuniyasu Suzaki
Remote Attestation of Container Configurations in SEV-SNP Confidential VMs
Koki Ozama, Hiroki Kuzuno, Yoshiaki Shiraishi and Makoto Takita
Session 3: Multiparty Computation and Card-Based Cryptography
Session Chair: TBA
Computer-Aided Proofs on Impossibility of Card-Based Protocols Using Only Random Cuts
Kakeru Watanabe, Shota Ikeda, Kazumasa Shinagawa, Takaaki Mizuki and Kazuki Yoneyama
Formal Verification of Fair Multi-Party Computation based on Financial Penalties using Smart Contracts (Short Paper)
Kakeru Watanabe and Kazuki Yoneyama
Card-Based Zero-Knowledge Proofs for Norinori with Two or Three Shuffles
Haruki Homma, Shota Ikeda and Kazumasa Shinagawa
Collaborative Rate Limiting Nullifier Signaling
Yağmur Gürel, Oğuz Yayla and Uğur Şen