T. Jensen and -. , Formal methods for software security Coda 31, 2017.

T. Jensen and -. , Formal methods for software security Many more topics Malware detection ? analysis of (obfuscated) binaries

T. Jensen and -. , Formal methods for software security Formal methods for software security ? Formal methods can improve the security of software

T. Jensen and -. , Formal methods for software security Formal methods for software security ? Formal methods can improve the security of software