A Formalization of the Security Features of Physical FunctionsFrederik Armknecht, Christian Wachsmann, Ahmad‐Reza Sadeghi et al.|Unknown|2011Cited by 154
A Formal Foundation for the Security Features of Physical FunctionsFrederik Armknecht, Christian Wachsmann, Roel Maes et al.|Unknown|2011Cited by 45