Case study: automated security testing on the trusted computing platform. - Gergely Tóth; Gábor Koszegi; Zoltán Hornák (EUROSEC, 2008)