SecDCP: Secure dynamic cache partitioning for efficient timing channel protection | IEEE Conference Publication | IEEE Xplore