I am currently working on designing a security protocol which involves usage of fuzzy commitment schemes, for. eg Reed-Solomon codes which allows us to tolerate a certain level of error.
I was wondering how one would go about formally verifying a security protocol which would use a scheme such as Reed-Solomon codes.
I searched online, and found out about tools out there such as AVISPA. ProVerify and even Casper/FDR which would help me test security protocols, however they do not seem to work with fuzzy commitment schemes.