Dam, Mads

1. Epistemic Temporal Logic for Information Flow Security
   2012/08/30 by Musard Balliu, Mads Dam, Balliu, Musard +3 · 3 citations
   Computer Science · Social Sciences · #Access Control and Trust #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Multiagent Systems (cs.MA) #Security and Verification in Computing
2. InSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis
   2019/11/03 by Guanciale, Roberto, Balliu, Musard, Dam, Mads · 4 citations
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences