NSF CAREER award: A ‘weird machines’ approach to more secure computer ...