The ANDIX research OS - ARM TrustZone meets industrial control systems security. - Andreas Fitzek; Florian Achleitner; Johannes Winter; Daniel M. Hein (INDIN, 2015)