gentoo.mahdi.cz

  

sci-mathematics:proverif


Cryptographic protocol verifier in the formal model

proverif-9999GPL-2+
download~amd64 ~x86gentoo
proverif-2.05GPL-2+
download~amd64 ~x86gentoo
proverif-2.04-r1GPL-2+
download~amd64 ~x86gentoo