I&#x27;ll email you some of the work I&#x27;ve posted. Background is high assurance security engineering. Dealing with software lifecycle, compilers, etc are part of it. Meanwhile, I just posted an essay with references relevant to the topic you&#x27;re interested in:<p><a href="https:&#x2F;&#x2F;www.schneier.com&#x2F;blog&#x2F;archives&#x2F;2015&#x2F;09&#x2F;understanding_s.html#c6705056" rel="nofollow">https:&#x2F;&#x2F;www.schneier.com&#x2F;blog&#x2F;archives&#x2F;2015&#x2F;09&#x2F;understanding...</a>