how to use proverif - SERP Analysis

https://bblanche.gitlabpages.inria.fr/proverif/manual.pdf

https://bblanche.gitlabpages.inria.fr/proverif/

https://people.irisa.fr/Stephanie.Delaune/transparents/Annee2017/FOSAD-proverif.pdf

https://www.youtube.com/watch?v=AdXiRtEUGZ4

https://www.reddit.com/r/cryptography/comments/pv4zs9/how_would_i_check_for_confidentiality_in_this/

https://github.com/darrenldl/ProVerif-ATP/blob/master/doc/manual/README.md

https://www.crs811.com/uploads/2019/01/manual.pdf

https://crypto.stackexchange.com/questions/103274/how-to-formalize-part-of-a-protocol-in-proverif

https://www.khoury.northeastern.edu/home/riccardo/courses/csg399-sp06/proverif-talk.pdf

http://lsv.ens-paris-saclay.fr/~delaune/VTSA/proverif.pdf

https://stackoverflow.com/questions/66354411/what-does-mean-in-proverif

https://opam.ocaml.org/packages/proverif/

https://crypto.stackexchange.com/questions/27389/proving-security-of-tls-handshake-with-proverif

https://www.reddit.com/r/codes/comments/5v06sn/cryptography_beginner_i_dont_understand_proverif/

https://inria.hal.science/hal-03897677/document

https://www.youtube.com/watch?v=xAsTtQnk_-A

https://vanadium.github.io/proofs/authentication/

https://ocaml.org/p/proverif/2.05

https://www.youtube.com/watch?v=iag_Oa2217E

http://www.hit.bme.hu/~buttyan/courses/EIT-SEC/abib/02-kex/ProVerif-manual.pdf

https://www.nowpublishers.com/article/Details/SEC-004

http://www.diva-portal.org/smash/get/diva2:846632/FULLTEXT01.pdf

https://news.ycombinator.com/item?id=14791633

https://infonomics-society.org/wp-content/uploads/ijisr/volume-3-2013/Verifying-Mutual-Authentication-for-the-DLK-Protocol-using-ProVerif-tool.pdf

https://www.researchgate.net/publication/228874706_ProVerif_185_Automatic_Cryptographic_Protocol_Verifier_User_Manual_and_Tutorial

https://link.springer.com/chapter/10.1007/978-3-031-06788-4_42

https://ieeexplore.ieee.org/document/5230620/

https://cryspen.com/post/hax-pv/

https://www.youtube.com/watch?v=YS8LE8c6ch0

https://en.wikipedia.org/wiki/ProVerif

https://bensmyth.com/publications/2010-ProVerif-manual-version-2.00/

https://eprint.iacr.org/2022/741.pdf

https://members.loria.fr/VCortier/files/Teaching/Cours3-horn.pdf

https://inria.hal.science/hal-01423760v1/document

https://link.springer.com/chapter/10.1007/978-3-319-10082-1_3

http://www.lsv.fr/~baelde/1920/secu/proverif-intro.pdf

https://github.com/darrenldl/ProVerif-ATP

https://research.cyber.ee/~peeter/teaching/krprot10s/withpr2.pdf

https://publ.sec.uni-stuttgart.de/KuestersTruderung-CSF-2009.pdf

https://hajji.org/en/crypto/verified-crypto/proverif

https://search.ieice.org/bin/pdf_link.php?category=D&lang=E&year=2019&fname=e102-d_8_1439&abst=

https://secgroup.dais.unive.it/wp-content/uploads/2020/04/proverif.pdf

https://dl.acm.org/doi/10.1561/3300000004

https://www.microsoft.com/en-us/research/wp-content/uploads/2016/11/extracting.pdf

https://www.mdpi.com/2079-9292/10/13/1608

https://marketplace.visualstudio.com/items?itemName=ProVerif.vscode-proverif

https://crypto-protocol.nict.go.jp/AKE_zoo/PLAID/25185-1_ProVerif.pdf

https://www.researchgate.net/publication/267688710_Verifying_Mutual_Authentication_for_the_DLK_Protocol_Using_ProVerif_Tool

https://www.jatit.org/volumes/Vol103No5/1Vol103No5.pdf

https://www.ietf.org/proceedings/101/slides/slides-101-saag-karthik-bhargavan-00.pdf

https://www.cs.ox.ac.uk/teaching/studentprojects/905.html

https://www.scribd.com/document/483063693/suela-report-f15-16

https://perso.limos.fr/~palafour/PAPERS/PDF/Nordsec_2022_paper_7662.pdf

https://cryspen.com/documents-and-slides/RustVerify2024.pdf

https://www.cs.ru.nl/bachelors-theses/2025/Daan_Eijkman___1045403___An_Analysis_of_Apple's_iMessage_PQ3_Algorithm_Using_ProVerif.pdf

https://home.cyber.ee/~peeter/teaching/krprot09s/withpr.pdf

http://www.sti.uniurb.it/events/fosad12/ryan1.pdf

https://sites.google.com/site/globalstatesverif/

https://www.computer.org/csdl/proceedings-article/csf/2023/219200a331/1Mv21IyUvCM

https://ieeexplore.ieee.org/document/10443411/

https://www.yumpu.com/en/document/view/4074700/a-review-of-proverif-as-an-automatic-security-protocol-verifier

https://doi.org/10.1561/9781680832075

https://archive.fosdem.org/2020/schedule/event/verifpal/attachments/slides/3755/export/events/attachments/verifpal/slides/3755/verifpal_fosdem.pdf

https://marketplace.visualstudio.com/items?itemName=FlorianAlexanderMoser.vscode-proverif-language-service

https://dl.acm.org/doi/10.1109/CSF.2009.17

https://figshare.com/articles/code/Simulation_Code_for_Improved_Secure_and_Efficient_Chebyshev_Chaotic_Map_Based_User_Authentication_Scheme_/12198834

https://cypherpunk.nl/proverif_editor.html

https://arxiv.org/abs/2211.12227

https://www.mathnet.ru/eng/tisp630

https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=5435df64de6ab3696031882a1bceb6f67883f29e

https://charlie.jacomme.fr/publication/cheval-2022-sapic/cheval-2022-sapic.pdf

https://medium.com/%40python-javascript-php-html-css/resolving-proverif-type-mismatch-errors-in-xor-operations-003a643f782a

https://orbit.dtu.dk/files/123726225/phd391_Almousa_O.pdf

https://www.ndss-symposium.org/wp-content/uploads/2017/09/08_5.pdf

https://basics.sjtu.edu.cn/~yuxin/publications/credential.pdf

https://lirias.kuleuven.be/4213614

https://people.irisa.fr/Stephanie.Delaune/teaching/Annee1718/slides-cours5.pdf

http://staff.ustc.edu.cn/~huangwc/fm/ppt/6.1.f.pdf

https://sos-vo.org/system/files/sos_files/Formal_Verification_of_Security_and_Privacy_Requirements_in_Modern_ICT_Systems_Assisted_by_the_Tamarin_Security-protocol_Prover.pdf

https://homepages.loria.fr/VCortier/School/VMCAI-school2019/

https://www.mdpi.com/2076-3417/14/21/9726

https://proverifeditor.sourceforge.net/

https://repository.mdx.ac.uk/item/896qw

https://www.jstage.jst.go.jp/article/transinf/E104.D/10/E104.D_2020FOP0003/_pdf

https://www.mecs-press.org/ijcnis/ijcnis-v8-n3/v8n3-5.html

http://worldcomp-proceedings.com/proc/p2014/SAM9757.pdf

https://www.cs.utexas.edu/~shmat/courses/cs395t_fall04/06calcjfk.ppt

https://digikogu.taltech.ee/en/Download/7ee4acf9-25e7-4699-ac9b-ec1b2e917e68

https://netdb.cis.upenn.edu/cis800-fa11/lectures/Proverif.pptx

https://www.usenix.org/system/files/usenixsecurity22-cheval.pdf

https://taylorandfrancis.com/knowledge/Engineering_and_technology/Computer_science/ProVerif/

https://eprint.iacr.org/2019/779.pdf

https://staffwww.dcs.shef.ac.uk/people/G.Struth/mgs2015/appliedPiLectures.pdf

https://dspace.alquds.edu/bitstreams/3f61b80a-2bd5-4a86-987e-791b176c9b9b/download

https://sapic-plus.github.io/

https://charlie.jacomme.fr/publication/bjks-usenix-24/bjks-usenix-24.pdf

https://staff.polito.it/riccardo.sisto/dottorato/slide/08_SPE.pdf

https://www.microsoft.com/en-us/research/wp-content/uploads/2016/11/modular-verification-popl10.pdf

https://www.sciencedirect.com/science/article/abs/pii/S0164121211002846