Tags: #formal verification

A Case for a Typed Assembly Language

My thoughts on the implications a proper type system for assembly language could have on software security.