An In-Depth Symbolic Security Analysis of the ACME Standard.

Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Ksters, Guido Schmitz, Tim Wrtele

Browse the full CCS paper archive.