generic-group-analyzer

Pinned Repositories

generic-group-analyzer.github.io
website for generic group analyzer
Language:HTML0 5 00
gga
Generic Group Analyzer
Language:OCaml2 4 00
gga-unbounded
Generic Group Analyzer Unbounded is a tool for automatically proving computational security statements in the Generic Group Model.
Language:JavaScript1 6 31

generic-group-analyzer's Repositories

generic-group-analyzer/gga
Generic Group Analyzer
Language:OCaml2 4 00
generic-group-analyzer/gga-unbounded
Generic Group Analyzer Unbounded is a tool for automatically proving computational security statements in the Generic Group Model.
Language:JavaScript1 6 31
generic-group-analyzer/generic-group-analyzer.github.io
website for generic group analyzer
Language:HTML0 5 00