Frederik Armknecht, Roel Maes, Ahmad-Reza Sadeghi, François-Xavier Standaert, Christian Wachsmann. A Formalization of the Security Features of Physical Functions. In 32nd IEEE Symposium on Security and Privacy, S&P 2011, 22-25 May 2011, Berkeley, California, USA. pages 397-412, IEEE Computer Society, 2011. [doi]
Abstract is missing.