A Formalization of the Security Features of Physical FunctionsFrederik Armknecht, Christian Wachsmann, Roel Maes et al.|Unknown|2011Cited by 154
A security framework for the analysis and design of software attestationFrederik Armknecht, Christian Wachsmann, Ahmad‐Reza Sadeghi et al.|Unknown|2013Cited by 107
Memory Leakage-Resilient Encryption Based on Physically Unclonable FunctionsFrederik Armknecht, Pim Tuyls, Roel Maes et al.|Lecture notes in computer science|2009Cited by 88
Hide and Seek in Time — Robust Covert Timing ChannelsYali Liu, Stefan Katzenbeisser, Dipak Ghosal et al.|Lecture notes in computer science|2009Cited by 84
An efficient implementation of trusted channels based on opensslFrederik Armknecht, Davide Vernizzi, Yacine Gasmi et al.|Unknown|2008Cited by 47