About: ProVerif

An Entity of Type: work, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Software for automated reasoning about cryptography

Property	Value
dbo:description	perangkat lunak (in) software for automated reasoning about cryptography (en)
dbo:latestReleaseDate	2021-12-01 (xsd:date)
dbo:latestReleaseVersion	2.04
dbo:license	dbr:BSD_licenses dbr:GNU_General_Public_License
dbo:programmingLanguage	dbr:OCaml
dbo:releaseDate	2002-06-01 (xsd:date)
dbo:wikiPageExternalLink	https://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif-users.html http://prosecco.gforge.inria.fr/personal/bblanche/proverif/
dbo:wikiPageWikiLink	dbr:Trusted_Platform_Module dbr:Automated_reasoning dbr:F_Sharp_(programming_language) dbc:Cryptographic_software dbr:Electronic_voting dbc:Free_software dbr:BSD_licenses dbr:IPsec dbr:OCaml dbr:Internet_Key_Exchange dbr:Cryptographic_protocol dbr:ALTS dbr:Transport_Layer_Security dbr:Direct_Anonymous_Attestation dbr:Diffie-Hellman dbr:Software_Guard_Extensions dbr:CryptoVerif dbr:GNU_GPL dbr:Polynomial_time dbr:Tamarin_Prover dbr:Observational_equivalence dbr:XOR
dbp:developer	Bruno Blanchet (en)
dbp:language	English (en)
dbp:latestReleaseDate	2021-12-01 (xsd:date)
dbp:latestReleaseVersion	2.040000 (xsd:double)
dbp:license	Mainly, GNU GPL; Windows binaries, BSD licenses (en)
dbp:name	ProVerif (en)
dbp:programmingLanguage	dbr:OCaml
dbp:released	2002-06-01 (xsd:date)
dbp:title	ProVerif (en)
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:URL dbt:Infobox_software dbt:Start_date dbt:Short_description
dct:subject	dbc:Automated_reasoning dbc:Cryptographic_software dbc:Free_software_programmed_in_OCaml dbc:Software_using_the_GPL_license dbc:Software_using_the_BSD_license
gold:hypernym	dbr:Tool
rdf:type	owl:Thing wikidata:Q386724 wikidata:Q7397 dbo:Work schema:CreativeWork
rdfs:label	ProVerif (en) ProVerif (ja)
owl:sameAs	freebase:ProVerif wikidata:ProVerif dbpedia-ja:ProVerif dbpedia-global:ProVerif dbr:ProVerif
prov:wasDerivedFrom	wikipedia-en:ProVerif?oldid=1271485887&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:ProVerif
foaf:name	ProVerif (en)
is dbo:wikiPageWikiLink of	dbr:Extensible_Authentication_Protocol dbr:Process_calculus dbr:Cryptographic_protocol dbr:ALTS dbr:Π-calculus
is foaf:primaryTopic of	wikipedia-en:ProVerif