Using type enforcement to assure a configurable guard | IEEE Conference Publication | IEEE Xplore