-
@ c9cdacec:bb6a1be9
2025-02-25 16:14:30🔗 SCRUTINY binding 📦 Product: OpenSSL is a cryptographic library for secure communication. (Event ID: 58b1cb510ee15047348f649a8570f3cee48ebe8ad3ad3328bd06121296290f06) 📑 Metadata: OpenSSL has Academic Paper: Formal Verification of OpenSSL's TLS Implementation (Event ID: 7d7a12a9867dd261fcec22035935cad8d6c3629f1823c12dd502ba88781c6854)