Langsec after Spectre may push us towards more of a 'basic science to figure out how things work' model: https://wingolog.org/archives/2018/01/11/spectre-and-the-end-of-langsec