1. AllAboutSSL. 2016. Drones is now getting digital TLS / SSL certificates. https://www.whatissslcertificate.com/drones-is-now-getting-digital-tls-ssl-certificates/. (Accessed: 2022-Sep-28). AllAboutSSL. 2016. Drones is now getting digital TLS / SSL certificates. https://www.whatissslcertificate.com/drones-is-now-getting-digital-tls-ssl-certificates/. (Accessed: 2022-Sep-28).
2. ARM. 2021. ARM MbedTLS library. https://github.com/ARMmbed/mbedtls. (Accessed: 2022-Sep-28). ARM. 2021. ARM MbedTLS library. https://github.com/ARMmbed/mbedtls. (Accessed: 2022-Sep-28).
3. Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
4. Transforming geocentric cartesian coordinates to geodetic coordinates by using differential search algorithm
5. D. George S. Sciancalepore. 2022. Open Source Code of the Implementation of PPTM into ProVerif. https://github.com/DominikRoy/PPTM. (Accessed: 2022-Sep-28). D. George S. Sciancalepore. 2022. Open Source Code of the Implementation of PPTM into ProVerif. https://github.com/DominikRoy/PPTM. (Accessed: 2022-Sep-28).