Towards a Formal Approach to Modeling and Verifying the Design of Dynamic Software Updates.

Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi

Browse the full APSEC paper archive.