Security Analysis of Proprietary Cryptography in Terrestrial Trunked Radio
Network infrastructure (including routing, peer-to-peer and virtual private networking)
Make it easier to deploy private DoT/DoH resolvers
Open hardware protocol adapters for industrial automation
Proving sound privacy guarantees through a type system
A decentralized distributed platform for private communication
Integration effort of independent security efforts like Qubes, Heads, coreboot, etc
