2015 IEEE Symposium on Security and Privacy How Secure and Quick is QUIC? Provable Security and Performance Analyses Robert Lychev MIT Lincoln Laboratory

First Page		Document Content
Date: 2015-05-11 16:43:10 Computing Internet protocols Cryptography Network architecture Cryptographic protocols Secure communication Computer networking QUIC Network protocols Datagram Transport Layer Security Comparison of TLS implementations Public-key cryptography		2015 IEEE Symposium on Security and Privacy How Secure and Quick is QUIC? Provable Security and Performance Analyses Robert Lychev MIT Lincoln Laboratory Add to Reading List Source URL: www.ieee-security.org Download Document from Source Website File Size: 476,33 KB Share Document on Facebook

	On the Robustness of some Cryptographic Protocols for Mobile Agent Protection Volker Roth Fraunhofer Institut f¨ur Graphische Datenverarbeitung Rundeturmstraße 6, 64283 Darmstadt, Germany DocID: 1uZJK - View Document
	Verifying Cryptographic Protocols in Applied Pi Calculus Mark Ryan Ben Smyth DocID: 1uXvn - View Document
	Secure Cryptographic Protocols for E-commerce Transaction on the Internet DocID: 1uDkO - View Document
	Type-Based Automated Verification of Authenticity in Cryptographic Protocols Daisuke Kikuchi and Naoki Kobayashi Graduate School of Information Sciences, Tohoku University {kikuchi,koba}@kb.ecei.tohoku.ac.jp DocID: 1u5Us - View Document
	Cryptographic schemes Protocols Specifications of primitives DocID: 1u4P2 - View Document