SSEL: An Extensible Specification Language for SoC Security | IEEE Conference Publication | IEEE Xplore