4 ms·
That sounds like an interesting subject. Could you please link me to your research or other relevant information?
by seibelj 11y ago
That sounds like an interesting subject. Could you please link me to your research or other relevant information?
- nickpsecurity 11y agoI'll email you some of the work I'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're interested in: https://www.schneier.com/blog/archives/2015/09/understanding_s.html#c6705056 https://www.schneier.com/blog/archives/2015/09/understanding...