-
@ c9cdacec:bb6a1be9
2025-02-25 16:14:32🔗 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: fe96ff8d4d271c3af9c108fbd48f6ab75155a9e9db521b9adeb0b51e8fd93028)