Yier Jin, Yiorgos Makris. Proof carrying-based information flow tracking for data secrecy protection and hardware trust. In 30th IEEE VLSI Test Symposium, VTS 2012, Maui, Hawaii, USA, 23-26 April 2012. pages 252-257, IEEE, 2012. [doi]
Abstract is missing.