INFOSEC What You Overlook In Malware Analysis When infosec people hear "malware analysis" most jump directly to binary analysis and reverse engineering.
INFOSEC Unhackable Things: Notes On Formal Verification Formal verification is all about writing mathematical proofs, which show the correctness (or incorrectness) of a thing.