thud.bib

@ONLINE{libRaptorQ,
	title = {libRaptorQ: Forward Error Correction},
	url = {https://www.fenrirproject.org},
	howpublished = {\url{https://www.fenrirproject.org}}
}

@ONLINE{SPID,
	title = {SPID: Sistema Pubblico per la gestione dell'Identità Digitale},
	url = {http://www.agid.gov.it/agenda-digitale/infrastrutture-architetture/spid},
	howpublished = {\url{http://www.agid.gov.it/agenda-digitale/infrastrutture-architetture/spid}}
}

@ONLINE{OpenID-Connect,
	title = {OpenID-Connect},
	url = {http://openid.net/connect/},
	howpublished = {\url{http://openid.net/connect/}}
}

@ARTICLE{Kerberos,
	author={Neuman, B.C. and Ts'o, T.}, 
	journal={Communications Magazine, IEEE}, 
	title={Kerberos: an authentication service for computer networks}, 
	year={1994}, 
	volume={32}, 
	number={9}, 
	pages={33-38}, 
	keywords={computer networks;cryptography;message authentication;Kerberos;Mosaic;authentication service;authentication technology;computer networks;cryptography;information retrieval;interactive services;Authentication;Authorization;Computer displays;Computer networks;Cryptography;Delay;Electronic mail;File systems;Information security;Internet}, 
	doi={10.1109/35.312841}, 
	ISSN={0163-6804}, 
	month={Sept},}

@ONLINE{DCCP:Online,
  title = {DCCP RFCs \& documentazione},
  month = mar,
  year = {2006},
  url = {http://www.read.cs.ucla.edu/dccp},
  howpublished = {\url{http://www.read.cs.ucla.edu/dccp}}
}

@ONLINE{SCTP:Online,
  title = {SCTP RFCs \& documentazione},
  month = oct,
  year = {2000},
  url = {http://datatracker.ietf.org/wg/sigtran},
  howpublished = {\url{http://datatracker.ietf.org/wg/sigtran}}
}

@ONLINE{QUIC:Online,
  title = {QUIC analysis},
  month = oct,
  year = {2013},
  url = {https://www.fenrirproject.org/projects/fenrir/wiki/QUIC},
  howpublished = {\url{https://www.fenrirproject.org/projects/fenrir/wiki/QUIC}}
}

@ONLINE{CurveCP:Online,
  title = {CurveCP protocol},
  year = {2011},
  url = {http://curvecp.org},
  howpublished = {\url{http://curvecp.org}}
}

@misc{minimaLT,
    author = {W. Michael Petullo and Xu Zhang and Jon A. Solworth and Daniel J. Bernstein and Tanja Lange},
    title = {MinimaLT: Minimal-latency Networking Through Better Security},
    howpublished = {Cryptology ePrint Archive, Report 2013/310},
    year = {2013},
    note = {\url{http://eprint.iacr.org/}},
}

@misc{rfc5746,
  author="E. Rescorla and M. Ray and S. Dispensa and N. Oskov",
  title="{Transport Layer Security (TLS) Renegotiation Indication Extension}",
  series="Request for Comments",
  number="5746",
  howpublished="RFC 5746 (Proposed Standard)",
  publisher="IETF",
  organization="Internet Engineering Task Force",
  year=2010,
  month=feb,
  url="http://www.ietf.org/rfc/rfc5746.txt",
  howpublished = {\url{http://www.ietf.org/rfc/rfc5746.txt}}
}

@ONLINE{QUIC:reasons,
  title = "QUIC: MULTIPLEXED STREAM TRANSPORT OVER UDP",
  author = "Jim Roskind",
  organization = "Google",
  year = 2013,
  url="https://docs.google.com/a/google.com/document/d/1RNHkx_VvKWyWg6Lr8SZ-saqsQx7rFV-ev2jRFUoVD34/preview?sle=true&pli=1",
  howpublished = {\url{https://docs.google.com/a/google.com/document/d/1RNHkx_VvKWyWg6Lr8SZ-saqsQx7rFV-ev2jRFUoVD34/preview?sle=true&pli=1}} 
}

@ONLINE{QUIC:crypto,
  title = "QUIC Crypto",
  author = {Adam Langley and Wan-Teh Chang},
  organization = "Google",
  year = 2013,
  url="https://docs.google.com/document/d/1g5nIXAIkN_Y-7XJW5K45IblHd_L2f5LTaDUDwvZ5L6g/edit?pli=1",
  howpublished = {\url{https://docs.google.com/document/d/1g5nIXAIkN_Y-7XJW5K45IblHd_L2f5LTaDUDwvZ5L6g/edit?pli=1}} 
}

@techreport{QUIC:rfc,
	number=		{draft-tsvwg-quic-protocol-02},
	type =		{Internet-Draft},
	institution =	{Internet Engineering Task Force},
	publisher =	{Internet Engineering Task Force},
	note =		{Work in Progress},
	url =		{https://tools.ietf.org/html/draft-tsvwg-quic-protocol-02},
	author=		{Janardhan Iyengar and Ian Swett and Ryan Hamilton and Alyssa Wilk},
	title=		{{QUIC: A UDP-Based Secure and Reliable Transport for HTTP/2}},
	pagetotal =	37,
	year =		2016,
	month =		jan,
	day =		13,
	abstract =	{QUIC (Quick UDP Internet Connection) is a new multiplexed and secure transport atop UDP, designed from the ground up and optimized for HTTP/2 semantics. While built with HTTP/2 as the primary application protocol, QUIC builds on decades of transport and security experience, and implements mechanisms that make it attractive as a modern general-purpose transport. QUIC provides multiplexing and flow control equivalent to HTTP/2, security equivalent to TLS, and connection semantics, reliability, and congestion control equivalent to TCP.},
}

@misc{OCSP,
	series =	{Request for Comments},
	number=		6960,
	howpublished=	{IETF RFC 6960},
	publisher =	{RFC Editor},
	doi =		{10.17487/rfc6960},
	url =		{https://rfc-editor.org/rfc/rfc6960.txt},
	author=		{Stefan Santesson and Rich Ankney and Michael Myers and Ambarish Malpani and Slava Galperin and Dr. Carlisle Adams},
	title=		{{X.509 Internet Public Key Infrastructure Online Certificate Status Protocol - OCSP}},
	pagetotal =	41,
	year =		2015,
	month =		oct,
	day =		14,
	abstract =	{This document specifies a protocol useful in determining the current status of a digital certificate without requiring Certificate Revocation Lists (CRLs). Additional mechanisms addressing PKIX operational requirements are specified in separate documents. This document obsoletes RFCs 2560 and 6277. It also updates RFC 5912.},
}


@ONLINE{OAuth:Online,
  title = "OAuth 1 and 2",
  url="http://oauth.net",
  howpublished = {\url{http://oauth.net}}
}

@article{Bellare:2008:AER:1410264.1410269,
 author = {Bellare, Mihir and Namprempre, Chanathip},
 title = {Authenticated Encryption: Relations Among Notions and analysis of the Generic Composition Paradigm},
 journal = {J. Cryptol.},
 issue_date = {September 2008},
 volume = {21},
 number = {4},
 month = sep,
 year = {2008},
 issn = {0933-2790},
 pages = {469--491},
 numpages = {23},
 url = {http://dx.doi.org/10.1007/s00145-008-9026-x},
 doi = {10.1007/s00145-008-9026-x},
 acmid = {1410269},
 publisher = {Springer-Verlag New York, Inc.},
 address = {Secaucus, NJ, USA},
 keywords = {Authenticated encryption, Concrete security, Message authentication, Symmetric encryption},
} 

@BOOK{ISOIEC19772,
  title = {ISO/IEC 19772:2009. Information technology — Security techniques — Authenticated encryption},
  publisher = {ISO/IEC},
  year = {2009},
  month = {feb},
  day = {12},
  author = {ISO/IEC}
}

@ONLINE{CAESAR,
  title = "CAESAR: authenticated ciphers competition",
  url="http://oauth.net",
  url="http://competitions.cr.yp.to/",
  howpublished = {\url{http://competitions.cr.yp.to/"}}
}

@ONLINE{3Shake,
  title = "3Shake: Triple Handshakes attack on OpenSSL's TLS",
  url="http://blog.cryptographyengineering.com/2014/04/attack-of-week-triple-handshakes-3shake.html",
  howpublished = {\url{http://blog.cryptographyengineering.com/2014/04/attack-of-week-triple-handshakes-3shake.html}}
}

@ONLINE{Proverif,
  title = "Proverif formal verification tool",
  url="http://prosecco.gforge.inria.fr/personal/bblanche/proverif/",
  howpublished={\url{http://prosecco.gforge.inria.fr/personal/bblanche/proverif/}}
}

@ONLINE{PHC,
	title = "Password Hashing Competition",
	url="https://password-hashing.net/",
	howpublished={\url{https://password-hashing.net/}}
}

@misc{Proverif_TLS,
  author="Carst Tankink, Pim Vullers",
  title="Verification of the TLS Handshake protocol",
  year=2008,
  month=May,
  url="http://www.cs.ru.nl/~chaack/teaching/2IF02-Spring08/tv-report.pdf",
  howpublished = {\url{http://www.cs.ru.nl/~chaack/teaching/2IF02-Spring08/tv-report.pdf}}
}

@misc{TLS_1,
  author="Florian Giesen, Florian Kohlar and Douglas Stebila",
  title="On the security of TLS Renegotiation",
  year=2013,
  month=aug,
  organization="Horst Gortz Institute for IT-Security, Ruhr-University Bochum, Bochum, Germany",
  url="http://eprint.iacr.org/2012/630.pdf",
  howpublished={\url{http://eprint.iacr.org/2012/630.pdf}}
}

@misc{TLS_2,
  author="Hugo Krawczyk, Kenneth G. Paterson and Hoeteck Wee",
  title="On the security of TLS protocol: A systematic Analysis",
  year=2013,
  organization="IBM, Royal Holloway, University of London and George Washington University",
  url="http://eprint.iacr.org/2013/339.pdf",
  howpublished={\url{http://eprint.iacr.org/2013/339.pdf}}
}

@misc{TLS_3,
  author="Tibor Jager, Florian Kohlar, Jorg Schwenk and Sven Schage",
  title="On the Security of TLS-DHE in the Standard Model",
  year=2012,
  month=jun,
  organization="Karlsruhe Institute of Technology, Horst Gortz Institute for IT Security, University College London",
  url="http://www.nds.ruhr-uni-bochum.de/media/nds/veroeffentlichungen/2012/08/22/main.pdf",
  howpublished={\url{http://www.nds.ruhr-uni-bochum.de/media/nds/veroeffentlichungen/2012/08/22/main.pdf}}
}

@misc{TLS_4,
  author="Karthikeyan Bhargavan, Cedric Fournet et al.",
  title="Implementing TLS with Verified Cryptographic Security",
  year=2013,
  organization="INRIA Paris-Rocquencourt, Microsoft Research and IMDEA Software",
  url="http://alfredo.pironti.eu/research/sites/default/files/oakland13.pdf",
  howpublished={\url{http://alfredo.pironti.eu/research/sites/default/files/oakland13.pdf}}
}
  
@misc{rfc6330,
  author="M. Luby, A. Shokrollahi et al.",
  title="{RaptorQ Forward Error Correction Scheme for Object Delivery}",
  series="Request for Comments",
  number="6330",
  publisher="IETF",
  organization="Internet Engineering Task Force",
  year=2011,
  month=aug,
  url="http://www.ietf.org/rfc/rfc6330",
  howpublished = {\url{http://www.ietf.org/rfc/rfc6330}}
}

@article{Lamport:OTP,
	author = {Lamport, Leslie},
	title = {Password Authentication with Insecure Communication},
	journal = {Commun. ACM},
	issue_date = {Nov. 1981},
	volume = {24},
	number = {11},
	month = nov,
	year = {1981},
	issn = {0001-0782},
	pages = {770--772},
	numpages = {3},
	url = {http://doi.acm.org/10.1145/358790.358797},
	doi = {10.1145/358790.358797},
	acmid = {358797},
	publisher = {ACM},
	address = {New York, NY, USA},
	keywords = {authentication, one-way function, passwords, security},
}