A software infrastructure for firmware-software interaction: The case of TPMs | IEEE Conference Publication | IEEE Xplore