Security and the Composition of Machines. | Synapse