Security across abstraction layers: old and new examples | IEEE Conference Publication | IEEE Xplore