GnuTLS - PDFSEARCH.IO - Document Search Engine

GnuTLS
Results: 30

#	Item
1	PDF Document Add to Reading List Source URL: www.gnutls.org - Date: 2018-08-19 02:34:42
2	This document includes text contributed by Nikos Mavrogiannopoulos, Simon Josefsson, Daiki Ueno, Carolin Latze, Alfredo Pironti, Ted Zlatanov and Andrew McDonald. Several corrections are due to Patrick Pelletier and Andr Add to Reading List Source URL: www.gnutls.org Language: English - Date: 2018-08-02 04:51:09
3	GnuTLS Simon Josefsson http://josefsson.org/ Add to Reading List Source URL: josefsson.org Language: English - Date: 2015-08-11 16:46:47
4	Implementing TLS with Verified Cryptographic Security Karthikeyan Bhargavan ∗ 1 , C´edric Fournet † 2 , Markulf Kohlweiss ‡ 2 , Alfredo Pironti § 1 , and Pierre-Yves Strub ¶ 3 1 Add to Reading List Source URL: mitls.org Language: English - Date: 2016-01-06 06:14:04 Computing Cryptography Cryptographic protocols Internet Secure communication Internet protocols Cryptographic software Internet Standards Transport Layer Security OpenSSL GnuTLS Cipher suite
5	Implementing TLS with Verified Cryptographic Security Karthikeyan Bhargavan ∗ 1 , C´edric Fournet † 2 , Markulf Kohlweiss ‡ 2 , Alfredo Pironti § 1 , and Pierre-Yves Strub ¶ 3 1 Add to Reading List Source URL: www.mitls.org Language: English - Date: 2016-01-06 06:14:04 Computing Cryptography Cryptographic protocols Internet Secure communication Internet protocols Cryptographic software Internet Standards Transport Layer Security OpenSSL GnuTLS Cipher suite
6	The BEAST Wins Again: Why TLS Keeps Failing to Protect HTTP Antoine Delignat-Lavaud, Inria Paris Joint work with K. Bhargavan, C. Fournet, A. Pironti, P.-Y. Strub INTRODUCTION Add to Reading List Source URL: www.mitls.org Language: English - Date: 2016-01-06 08:53:57 Transport Layer Security Computing Internet Cryptography Internet security Cryptographic protocols Secure communication Hypertext Transfer Protocol HTTPS GnuTLS Heartbleed Cross-site request forgery
7	F LEX TLS A Tool for Testing TLS Implementations Benjamin Beurdouche, Antoine Delignat-Lavaud, Nadim Kobeissi, Alfredo Pironti, and Karthikeyan Bhargavan INRIA Paris-Rocquencourt Abstract Add to Reading List Source URL: www.usenix.org Language: English - Date: 2016-02-21 19:32:47 Secure communication Cryptographic software Cryptographic protocols Internet protocols Internet Standards Transport Layer Security OpenSSL Cipher suite GnuTLS WolfSSL Handshaking HTTPS
8	Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations Chad Brubaker ∗ † Add to Reading List Source URL: tls.mbed.org Language: English - Date: 2016-01-19 07:39:30 Cryptographic software Public-key cryptography Transport Layer Security Key management Public key infrastructure Certificate authority X.509 OpenSSL Public key certificate GnuTLS Root certificate Cryptlib
9	PDF Document Add to Reading List Source URL: gnutls.org Language: English - Date: 2016-02-03 03:28:21 Cryptographic protocols Internet Standards Internet protocols Cryptographic software Secure communication Transport Layer Security GnuTLS OpenSSL Cipher suite Electronic authentication Online Certificate Status Protocol X.509
10	PDF Document Add to Reading List Source URL: gnutls.org Language: English - Date: 2016-02-03 03:28:21 Software Free software Cryptographic software GNU Guile Scheme GnuTLS Guile SCM Common Lisp Object System