http://pablo2httpff4vogufavlmbxw4jkgb3amnywex2xdnchpztkdu2luead.onion/sensi/paioli.html
Independently, it is able to statically verify if the power consumption of a given assembly code is correctly balanced with regard to a leakage model (e.g., the Hamming weight of values, or the Hamming distance of values updates).