Socio-technical formal analysis of TLS certificate validation in modern browsers.

Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini

Browse the full PST paper archive.