×

tightPROVE

swMATH ID: 40701
Software Authors: Sonia Belaïd, Dahmun Goudarzi, Matthieu Rivain
Description: tightPROVE (tight PRobing VErification): formal verification tool for the (tight) probing security of masked implementations.
Homepage: https://github.com/CryptoExperts/tightPROVE
Related Software: Tornado; Subterranean; Gimli; Usuba; spongent
Referenced in: 1 Publication

Referenced in 0 Serials

Referencing Publications by Year