By reason and authority: a system for authorization of proof-carrying code | IEEE Conference Publication | IEEE Xplore