A proof-carrying based framework for trusted microprocessor IP.

Yier Jin, Yiorgos Makris

Browse the full ICCAD paper archive.