📄 Two Papers Accepted to IEEE COMPSAC 2025

One paper by Momoko Shiraishi, a third-year Ph.D. student in the Shinagawa Laboratory, and one by Ryo Nakashima, who completed his master’s degree in March 2025, have been accepted to the [49th IEEE International Conference on Computers, Software, and Applications (COMPSAC 2025)[(https://ieeecompsac.computer.org/2025/).

Ms. Shiraishi’s paper proposes a method for enabling virtual account sharing across devices in FIDO authentication - growing in adoption on websites - without sharing the private key between devices. Instead, the key remains securely stored in tamper-resistant hardware.

Mr. Nakashima’s paper focuses on improving the robustness of reference monitors used in application-level sandboxes. It targets TOCTTOU attacks by exhaustively generating access patterns using an SMT solver and formally verifying the monitor’s resilience against these patterns with a model checker.