APA (7th ed.) Citation

AdilKhan000. (2025). ProVerif Scripts for the Formal Analysis of our Protocol. Zenodo.

Chicago Style (17th ed.) Citation

AdilKhan000. ProVerif Scripts for the Formal Analysis of Our Protocol. Zenodo, 2025.

MLA (9th ed.) Citation

AdilKhan000. ProVerif Scripts for the Formal Analysis of Our Protocol. Zenodo, 2025.

Warning: These citations may not always be 100% accurate.