Mads Dam

1. Epistemic Temporal Logic for Information Flow Security
   2012/08/30 by Musard Balliu, Balliu, Musard, Mads Dam +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