Lattice priority scheduling: Low-overhead timing-channel protection for a shared memory controller | IEEE Conference Publication | IEEE Xplore