BCiC: A System for Code Authentication and Verification

Nathan Whitehead
LPAR (2004), pp. 110-124

Abstract