ATAVE: A framework for automatic timing attack vulnerability evaluation | IEEE Conference Publication | IEEE Xplore