Linked Presentation: "These results must be false": A usability evaluation of constant-time analysis toolsFormal Security Analysis of Widevine through the W3C EME Standard
