An Algebraic Approach to Formal Analysis of Dynamic Software Updating Mechanisms.

Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi

Browse the full APSEC paper archive.