RedGage is the best way to earn real money from your photos, videos, blogs, and links.

View the Video Sign Up

Formal verification of Amazon's s2n SSL/TLS library:
  • Next
  • Previous

    • Formal verification of Amazon's s2n SSL/TLS library:
    Formal verification of Amazon's s2n SSL/TLS library:
    In June 2015, Amazon introduced its s2n library, an open-source TLS library that prioritizes simplicity. A stated benefit of this simplicity is ease of auditing and testing. Galois recently collaborated with Amazon to show that this benefit extends to verifiability by proving the correctness of s2n’s implementation of the keyed-Hash Message Authentication Code (HMAC) algorithm. To construct this …
    Source: galois.com
    Thanks. Your rating has been saved.
    You've added this content to your favorites.
    Load More
    matteo
    Edit Show Details
    0 0
    Description

    In June 2015, Amazon introduced its s2n library, an open-source TLS library that prioritizes simplicity. A stated benefit of this simplicity is ease of auditing and testing. Galois recently collaborated with Amazon to show that this benefit extends to verifiability by proving the correctness of s2n’s implementation of the keyed-Hash Message Authentication Code (HMAC) algorithm. To construct this …

    Tags
    Load More
    Flag This Content