A Logical Framework of Proof-Carrying Survivability.

Yanjun Zuo, Suhas Lande

Browse the full TrustCom paper archive.