GitHub topics: llm-based-agents
twittymatteoscott/CryptoFormalEval
We introduce a benchmark for testing how well LLMs can find vulnerabilities in cryptographic protocols. By combining LLMs with symbolic reasoning tools like Tamarin, we aim to improve the efficiency and thoroughness of protocol analysis, paving the way for future AI-powered cybersecurity defenses.
Size: 2.93 KB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 0 - Forks: 0
soulkeeperc5/CryptoFormalEval
We introduce a benchmark for testing how well LLMs can find vulnerabilities in cryptographic protocols. By combining LLMs with symbolic reasoning tools like Tamarin, we aim to improve the efficiency and thoroughness of protocol analysis, paving the way for future AI-powered cybersecurity defenses.
Size: 0 Bytes - Last synced at: 25 days ago - Pushed at: 25 days ago - Stars: 0 - Forks: 0
lordlord0whitefox/CryptoFormalEval
We introduce a benchmark for testing how well LLMs can find vulnerabilities in cryptographic protocols. By combining LLMs with symbolic reasoning tools like Tamarin, we aim to improve the efficiency and thoroughness of protocol analysis, paving the way for future AI-powered cybersecurity defenses.
Size: 2.93 KB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 0 - Forks: 0
leekerstopme/CryptoFormalEval-n6
We introduce a benchmark for testing how well LLMs can find vulnerabilities in cryptographic protocols. By combining LLMs with symbolic reasoning tools like Tamarin, we aim to improve the efficiency and thoroughness of protocol analysis, paving the way for future AI-powered cybersecurity defenses.
Size: 2.93 KB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 0 - Forks: 0
Cristian-Curaba/CryptoFormalEval
We introduce a benchmark for testing how well LLMs can find vulnerabilities in cryptographic protocols. By combining LLMs with symbolic reasoning tools like Tamarin, we aim to improve the efficiency and thoroughness of protocol analysis, paving the way for future AI-powered cybersecurity defenses.
Language: Haskell - Size: 7.43 MB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 5 - Forks: 1
bkhanal-11/agentic_technologies_project
A multi-agent system project for literature review as a part of Agentic Technologies for Developers course at University of Jyväskylä.
Language: Python - Size: 1.39 MB - Last synced at: 18 days ago - Pushed at: 30 days ago - Stars: 0 - Forks: 0
FudanSELab/Agent4SE-Paper-List
Repository for the paper "Large Language Model-Based Agents for Software Engineering: A Survey".
Size: 1.23 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 281 - Forks: 20
