Sign in

Everest: Towards a Verified, Drop-in Replacement of HTTPS.

Karthikeyan BhargavanBarry BondAntoine Delignat-LavaudCédric FournetChris HawblitzelCatalin HritcuSamin IshtiaqMarkulf KohlweissRustan LeinoJay R. LorchKenji MaillardJianyang PanBryan ParnoJonathan ProtzenkoTahina RamananandroAshay RaneAseem RastogiNikhil SwamyLaure ThompsonPeng WangSantiago Zanella BéguelinJean Karim Zinzindohoue
Published in: SNAPL (2017)
Keyphrases
  • high throughput
  • search engine
  • computer vision
  • data analysis
  • domain knowledge
  • support vector machine