An efficient search algorithm of worst-case cache flush timings | IEEE Conference Publication | IEEE Xplore