Diomidis Spinellis
Athens University of Economics and Business
Reflections on trusting trust
Communications of the ACM
How Trustworthy Is Trusted Computing?
Computer
The Cambridge CAP computer and its operating system (Operating and programming systems series)