-
@ c9cdacec:bb6a1be9
2025-02-26 12:05:56🔗 SCRUTINY binding 📦 Product: OpenSSL is a cryptographic library for secure communication. (Event ID: 5b3e4185b3ec9efd89cd10db577db90a7f30e68eec44ca96787a61e5de922cb2) 📑 Metadata: OpenSSL has Academic Paper: Formal Verification of OpenSSL's TLS Implementation (Event ID: b867865a933972c87714c4a5195fb26ec054e20bed5ef2167b435c1740ecab37)