SeReCon: A Trusted Environment for SoPC Design | IEEE Conference Publication | IEEE Xplore