SAFE is not my work. I was evangelizing many of the same principles, working similar things, and generally try to draw mainstream attention the The Right Thing (eg SAFE) when it manifests for a given problem&#x2F;domain. High assurance security &amp; systems path has been quite a trip, though. Thanks. :)