André DeHon

1. A Verified Information-Flow Architecture
   2015/09/22 by Arthur Azevedo de Amorim, de Amorim, Arthur Azevedo, Nathan Collins +15 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
2. Mir: Automated Quantifiable Privilege Reduction Against Dynamic Library Compromise in JavaScript
   2020/10/31 by Nikos Vasilakis, Vasilakis, Nikos, Cristian-Alexandru Staicu +11 · 1 citation
   Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Security and Verification in Computing #Web Application Security Vulnerabilities