Sign in

A messy state of the union: taming the composite state machines of TLS.

Benjamin BeurdoucheKarthikeyan BhargavanAntoine Delignat-LavaudCédric FournetMarkulf KohlweissAlfredo PirontiPierre-Yves StrubJean Karim Zinzindohoue
Published in: Commun. ACM (2017)
Keyphrases
  • state machines
  • state machine
  • multi modal
  • artificial intelligence
  • web services
  • case study
  • petri net