Jonathan M. Smith

SAFE: A clean-slate architecture for secure systems

Benjamin C. Pierce, Howard Reubenstein, Andre DeHon, 2013, 2013 IEEE International Conference on Technologies for Homeland Security (HST).