Incremental Certificates and Checkers for Abstraction-Carrying Code (2006)

by E Albert, P Arenas, G Puebla
Venue:In Sixth Workshop on Issues in the Theory of Security