Score:0

Shamir secret sharing in automated verification tools

tr flag

Can Shamir secret sharing scheme (SSS) be verified using automated verification tools such as AVISPA? I read in the HLPSL manual that we cannot use arithmetic or relative operations such +,-,< ...etc in the HLPSL description of the protocol. Thus, we cannot implement LaGrange's interpolation formula?!! Do all protocol verification have this limitation?

(There are other protocol verification tools, but recently, I got familiar with AVISPA)

Aaqib Bashir avatar
kr flag
Did you take a look at Verifpal?
Vadym Fedyukovych avatar
in flag
Arxiv 1805.12482 "..Towards Formal Proof for Secure Multi-Party Computation"
Mona avatar
tr flag
@VadymFedyukovych Thank you for sharing this paper, I am reading it now.
Mona avatar
tr flag
@AaqibBashir Is Verifpal any different from AVISPA?
Aaqib Bashir avatar
kr flag
Verifpal is one of the state-of-the-art tools for verification of cryptographic protocols. For more understanding you can read https://eprint.iacr.org/2019/971.pdf
mangohost

Post an answer

Most people don’t grasp that asking a lot of questions unlocks learning and improves interpersonal bonding. In Alison’s studies, for example, though people could accurately recall how many questions had been asked in their conversations, they didn’t intuit the link between questions and liking. Across four studies, in which participants were engaged in conversations themselves or read transcripts of others’ conversations, people tended not to realize that question asking would influence—or had influenced—the level of amity between the conversationalists.