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
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
Computer-Aided Proofs on Impossibility of Card-Based Protocols Using Only Random Cuts
Kakeru Watanabe, Shota Ikeda, Kazumasa Shinagawa, Takaaki Mizuki and Kazuki Yoneyama
Risk-Aware Machine Learning: Defending Against Poisoning Attacks Through Risk Estimation and Ensemble Training
Jasmita Malik, Raja Muthalagu and Pranav Mothabhau Pawar
Higher-Order Bonferroni Bounds for the Solution-Existence Probability of Multivariate Polynomial Systems over Finite Fields
Rintaro Matsumoto, Kosuke Sakata and Tsuyoshi Takagi
AI-Enabled Cyber Attacks and Attribution Challenges: A Framework for Risk and Accountability
Anjali Kaushik
On the Convergence Boundary of Hermite Based Cleaning in Discrete CKKS
Asuman Dumlu
Card-Based Zero-Knowledge Proofs for Norinori with Two or Three Shuffles
Haruki Homma, Shota Ikeda and Kazumasa Shinagawa
A Formal Grammar Approach to Metamorphic Binary Transformation
Matteo Ciccaglione, Pierciro Caliandro and Alessandro Pellegrini
Related Differentials of 4×4 MDS Matrices: A Complete Characterization
Kamil Otal, Ali Mert Sülçe and Oğuz Yayla
Collaborative Rate Limiting Nullifier Signaling
Yağmur Gürel, Oğuz Yayla and Uğur Şen
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
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
Improved Periodic Distinguishers for LBlock and TWINE
Boyun Li, Qun Liu and Meiqin Wang
Security Issues Arising from Controller Conflicts in Matter Smart Home
Hikari Suda and Kuniyasu Suzaki
Formal Verification of Fair Multi-Party Computation based on Financial Penalties using Smart Contracts
Kakeru Watanabe and Kazuki Yoneyama
Implementation and Performance Evaluation of SQIsign2DPush
Taketo Kitahama, Kohei Nakagawa, Haruhisa Kosuge and Koutarou Suzuki
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
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
Computer-Aided Proofs on Impossibility of Card-Based Protocols Using Only Random Cuts
Kakeru Watanabe, Shota Ikeda, Kazumasa Shinagawa, Takaaki Mizuki and Kazuki Yoneyama
Risk-Aware Machine Learning: Defending Against Poisoning Attacks Through Risk Estimation and Ensemble Training
Jasmita Malik, Raja Muthalagu and Pranav Mothabhau Pawar
Higher-Order Bonferroni Bounds for the Solution-Existence Probability of Multivariate Polynomial Systems over Finite Fields
Rintaro Matsumoto, Kosuke Sakata and Tsuyoshi Takagi
AI-Enabled Cyber Attacks and Attribution Challenges: A Framework for Risk and Accountability
Anjali Kaushik
On the Convergence Boundary of Hermite Based Cleaning in Discrete CKKS
Asuman Dumlu
Card-Based Zero-Knowledge Proofs for Norinori with Two or Three Shuffles
Haruki Homma, Shota Ikeda and Kazumasa Shinagawa
A Formal Grammar Approach to Metamorphic Binary Transformation
Matteo Ciccaglione, Pierciro Caliandro and Alessandro Pellegrini
Related Differentials of 4×4 MDS Matrices: A Complete Characterization
Kamil Otal, Ali Mert Sülçe and Oğuz Yayla
Collaborative Rate Limiting Nullifier Signaling
Yağmur Gürel, Oğuz Yayla and Uğur Şen
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
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
Improved Periodic Distinguishers for LBlock and TWINE
Boyun Li, Qun Liu and Meiqin Wang
Short Papers
Security Issues Arising from Controller Conflicts in Matter Smart Home
Hikari Suda and Kuniyasu Suzaki
Formal Verification of Fair Multi-Party Computation based on Financial Penalties using Smart Contracts
Kakeru Watanabe and Kazuki Yoneyama
Implementation and Performance Evaluation of SQIsign2DPush
Taketo Kitahama, Kohei Nakagawa, Haruhisa Kosuge and Koutarou Suzuki