Computationally Sound Mechanized Proofs for Deniable Authentication Protocols with a Probabilistic Polynomial Calculus in Computational Model
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:
Are you a human?
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