Mir: Automated Quantifiable Privilege Reduction Against Dynamic Library Compromise in JavaScript. - Vasilakis, Nikos; Staicu, Cristian-Alexandru; Ntousakis, Greg; Kallas, Konstantinos; Karel, Ben; DeHon, André; Pradel, Michael (CoRR, 2020)