Carl Hewitt shared a draft Miller essay here page 
Mark's commentary on security issues needs to be made mathematically rigorous in order to be comprehended by computer systems together with software engineers.
A start on this large project can be found here:
- Information Security Requires Strongly-Typed Actors and Theories page
- Physical Indeterminacy in Digital Computation page
This project has become critical because of the prospective development and deployment of Universal Intelligent Systems in this decade.
Regards,
Carl
https://professorhewitt.blogspot.com/
Also, see
>Complex app systems found in business systems consist of deeply nested subsystems, with degrees of separation and integration between subsystems in multiparty cloud computing.
- Securing Web3 with SES Miller mentions Google web component graphs and OS.