RELIC is an Efficient LIbrary for Cryptography Diego F. Aranha Department of Computer Science University of Bras´ılia Relic

Source URL: ecc2011.loria.fr

• Software
• Cryptographic software
• Computer programming
• System software
• OpenSSL
• Aranha
• NTL Incorporated
• Recursion
• Libgcrypt

` Technical Bulletin April 11, 2014 Addressing the OpenSSL “Heartbleed” vulnerability in

Source URL: cdn2.hubspot.net

1 A Messy State of the Union: Taming the Composite State Machines of TLS Benjamin Beurdouche∗ , Karthikeyan Bhargavan∗ , Antoine Delignat-Lavaud∗ , Cedric Fournet† , Markulf Kohlweiss† , Alfredo Pironti∗ , P

Source URL: smacktls.com

• Computing
• Cryptography
• Internet
• Cryptographic protocols
• Internet protocols
• Cryptographic software
• Secure communication
• Transport Layer Security
• OpenSSL
• Comparison of TLS implementations
• Cipher suite
• WolfSSL

Patent Licen se for OpenSSL 1. Definition s 1.1 " Licensor" means Phillip Rogaway. orOne Shields Avenue, Davis, CA " Licensed Patents" means any patent that claims priority to United States Patent Applica

Source URL: openssl.org

• Cryptographic software
• OpenSSL
• Patent
• Software
• License
• United States patent law
• Computing

Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL, Princeton University A full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of f

Source URL: www.cs.princeton.edu

• Software engineering
• Programming language theory
• Theoretical computer science
• C++
• Logic in computer science
• Proof assistants
• Data types
• SHA-2
• Formal verification
• Separation logic
• Coq
• Functional programming

From: Andrew Lewman, Executive Director To: The Tor Community Date: February 12, 2012 This report documents progress in January 2012.

Source URL: archive.torproject.org

• Tor
• Cryptographic software
• Internet security
• Dark web
• The Tor Project
• Inc
• Orbot
• OpenSSL
• Facebook

Secure Abstraction with Code Capabilities Robbert van Renesse∗ , H˚avard D. Johansen† , Nihar Naigaonkar∗ , and Dag Johansen† ∗ Cornell University, USA † University of Tromsø, Norway Abstract—We propose

Source URL: www.cs.cornell.edu

• Cryptography
• Public-key cryptography
• Public key infrastructure
• Transport Layer Security
• Key management
• Cryptographic protocols
• Public key certificate
• X.509
• HTTPS
• OpenSSL
• Revocation list

Factoring RSA Keys With TLS Perfect Forward Secrecy Florian Weimer Red Hat Product Security SeptemberAbstract

Source URL: people.redhat.com

• Public-key cryptography
• Cryptographic software
• Secure communication
• E-commerce
• Transport Layer Security
• OpenSSL
• RSA
• Blinding
• Mbed TLS
• Cipher suite
• Forward secrecy
• Digital signature

Remote Timing Attacks are Practical David Brumley Stanford University Abstract Timing attacks are usually used to attack weak computing devices such as smartcards. We show that timing

Source URL: tls.mbed.org

• Cryptography
• Modular arithmetic
• Cryptographic software
• E-commerce
• OpenSSL
• RSA
• Public-key cryptography
• Modular exponentiation
• Montgomery modular multiplication
• Timing attack
• Side-channel attack
• Data Encryption Standard

1 Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS Karthikeyan Bhargavan∗ , Antoine Delignat-Lavaud∗ , C´edric Fournet† , Alfredo Pironti∗ and Pierre-Yves Strub‡

Source URL: prosecco.gforge.inria.fr

• Computing
• Cryptography
• Internet
• Secure communication
• Cryptographic protocols
• Internet protocols
• Transport Layer Security
• Hypertext Transfer Protocol
• HTTPS
• HTTP Strict Transport Security
• OpenSSL
• Cipher suite