maskVerif: a formal tool for analyzing software and hardware masked implementations
Maskverif is now available on gitlab: https://gitlab.com/benjgregoire/maskverif
A more informative page on the project is available here: https://cryptoexperts.com/maskverif/