Automated proofs and code generation for secure protocols
Funded solution
By
Security Analysis of Proprietary Cryptography in Terrestrial Trunked Radio
Automated proofs and code generation for secure protocols
Security Analysis of Proprietary Cryptography in Terrestrial Trunked Radio

