maskVerif: a formal tool for analyzing software and hardware masked implementations