QuANET to augment existing software infrastructure and networking protocols with quantum properties to mitigate attack vectors in traditional networks.
COOP seeks to develop secure design and development tools to guarantee that software is running correctly -- if and only if the device physics is correct.