Proof carrying-based information flow tracking for data secrecy protection and hardware trust.

Yier Jin, Yiorgos Makris

Browse the full VTS paper archive.