Tags: #type system

A Case for a Typed Assembly Language

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