On software update analysis via Kalman decomposition. - Takamitsu Kishida; Kenji Sawada; Seiichi Shin (ASCC, 2017)

Control Flow Verification for Program Safety Update. - Takamitsu Kishida; Kenji Sawada; Seiichi Shin (ASCC, 2019)