Skip to content

@generic-group-analyzer generic-group-analyzer

Change the repository type filter

All

    Repositories list

    3 repositories

    • gga-unbounded

      Public
      Generic Group Analyzer Unbounded is a tool for automatically proving computational security statements in the Generic Group Model.
      JavaScript
      •1•1•1•0•Updated Jul 12, 2024Jul 12, 2024

    • gga

      Public
      Generic Group Analyzer
      OCaml
      •
      Other
      •0•2•0•0•Updated Jul 23, 2018Jul 23, 2018

    • generic-group-analyzer.github.io

      Public
      website for generic group analyzer
      HTML
      •0•0•0•0•Updated Apr 15, 2016Apr 15, 2016