Refinement of Mechanized Proof of Security Properties of Remote Internet Voting Protocol in Applied PI Calculus with Proverif
Report a Citation
If you have cited the above article in your published manuscript? Please provide complete citation report of your article.
Title of manuscript:
Source of manuscript:
In case your published manuscript has no DOI, then you should send copy of published article via e-mail to
Related Articles in ASCI
Search in Google Scholar