DeHon, André

1. A Verified Information-Flow Architecture
   2015/09/22 by de Amorim, Arthur Azevedo, Collins, Nathan, DeHon, André +6 · 1 citation
   #FOS: Computer and information sciences #Programming Languages (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