ATAVE: A framework for automatic timing attack vulnerability evaluation