A theory of integrating tamper evidence with stabilization

Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni. A theory of integrating tamper evidence with stabilization. Science of Computer Programming, 160:93-114, 2018. [doi]

Abstract

Abstract is missing.