A Novel Probabilistic Saturating Counter Design for Secure Branch Predictor. - Lutan Zhao; Rui Hou 001; Kai Wang 061; Yu-Lan Su; Peinan Li; Dan Meng 002 (J. Comput. Sci. Technol., 2021)