Implementing and Proving the TLS 1.3 Record Layer.
Karthikeyan BhargavanAntoine Delignat-LavaudCédric FournetMarkulf KohlweissJianyang PanJonathan ProtzenkoAseem RastogiNikhil SwamySantiago Zanella BéguelinJean Karim ZinzindohouePublished in: IACR Cryptol. ePrint Arch. (2016)