It's Time for Trustworthy Systems

Gernot Heiser, Toby Murray, Gerwin Klein
2012 IEEE Security and Privacy  
doi:10.1109/msp.2012.41 fatcat:kquvoyomjnchpfo25vfzpatcha