generic-group-analyzer/gga-unbounded
Generic Group Analyzer Unbounded is a tool for automatically proving computational security statements in the Generic Group Model.
JavaScript
Issues
- 7
Still available?
#3 opened by yannickseurin - 6
- 2
Missing install-sh
#1 opened by xagawa