1. 8
    Almost all we know about Browser Security in one paper [2017] browsers security cure53.de
    indolering avatar via indolering 1 month ago | cached | no comments
  2. 4
    TS*: Gradual Typing Embedded Securely in JavaScript [2014] ☶ pdf formalmethods javascript prosecco.gforge.inria.fr
    indolering avatar via indolering 2 months ago | cached | 1 comment
  3. 4
    Survey Paper: Formal Methods for Web Security (2016) ☶ pdf formalmethods web dais.unive.it
    indolering avatar via indolering 3 months ago | cached | no comments