Reference

2005
Type-Based Verification of Assembly Language
M.S. Thesis
Also available as Technical Report (UCB/EECS-2008-186)