@phdthesis{LeMay11-PhD,
author = {Michael LeMay},
title = {Compact Integrity-Aware Architectures},
month = {August},
year = {2011},
}