-
@ c9cdacec:bb6a1be9
2025-02-25 16:14:31🔗 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: 76704198cb8c247460c0d126283f2ecd374e9e997069a699ebb157a8b01de357)