Efficient code certification for open firmware | IEEE Conference Publication | IEEE Xplore