Agentic AI for converting protocol description in natural language into Alice and Bob notation
Stars
3
Forks
0
Watchers
3
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
adding benchmarking files for security evaluation for record.
dd5780fView on GitHubadding batch cli for security reasoning, updating dataset extension, and some minor changes
c552bd9View on GitHubadding models CONSTANTS in the .env.backup and updating README.md
a862349View on GitHubupdating the prompts, cli.py and reading the adversary model in the initial state instead of during llm call. aggregating results as a report in ASCII
938cb02View on GitHubcommandline for calling the workflow. also adding output aggregation for aggregating output for all security goals.
698ba68View on GitHubinitial implementation for reasoning using Parallelization technique
8470a73View on GitHubadding the rest of security goals :6.txt: Resistance against Identity Mis-Binding
89a0f21View on GitHubimplement binder-free AC term normalization [Fom: A term equality problem equivalent to Graph Isomorphism-David A. Basin] for Actions, Goals, and ChannelKeys.
3cdef4dView on GitHub