EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.
Jonathan ProtzenkoBryan ParnoAymeric FromherzChris HawblitzelMarina PolubelovaKarthikeyan BhargavanBenjamin BeurdoucheJoonwon ChoiAntoine Delignat-LavaudCédric FournetNatalia KulatovaTahina RamananandroAseem RastogiNikhil SwamyChristoph M. WintersteigerSantiago Zanella BéguelinPublished in: IEEE Symposium on Security and Privacy (2020)