Meta tags:
Headings (most frequently used words):
easycrypt, resources,
Text of the page (most frequently used words):
#easycrypt (9), the (7), and (4), for (3), are (2), our (2), documentation (2), program (2), this (2), reference (2), manual (2), not (2), find (2), formosa (2), security (2), cryptographic (2), uses (2), link (2), currently, revamping, logic, tactics, have, however, note, that, has, been, updated, years, now, does, reflect, current, stable, unstable, status, check, out, new, tutorial, installing, github, zulip, organization, resources, part, project, interactive, framework, verifying, constructions, computational, model, adopts, codebased, approach, which, goals, hardness, assumptions, modelled, probabilistic, programs, called, experiments, games, with, unspecified, adversarial, code, tools, issued, from, verification, programming, language, theory, rigorously, justify, reasoning, site, theme, jekyll, just, docs, copied, copy, external, expand, menu, skip, main, content,
Text of the page (random words):
easycrypt skip to main content link menu expand external link copy copied easycrypt easycrypt this site uses just the docs a documentation theme for jekyll easycrypt easycrypt is an interactive framework for verifying the security of cryptographic constructions in the computational model easycrypt adopts the codebased approach in which security goals and hardness assumptions are modelled as probabilistic programs called experiments or games with unspecified adversarial code and uses tools issued from program verification and programming language theory to rigorously justify cryptographic reasoning easycrypt is part of the formosa project resources find us on the formosa zulip organization find us on github installing easycrypt check out our new tutorial we have a reference manual however note that this reference manual has not been updated for years now and does not reflect the current stable unstable status of easycrypt we are currently revamping our documentation on program logic tactics
|
