Pinned Loading
Repositories
Showing 10 of 29 repositories
- alpharewrite Public
Rewriter for Benchmark-F, transform Haskell functions into alpha-equiv form with no natural language!
SecurityLab-UCD/alpharewrite’s past year of commit activity - SPAT Public Forked from Santiago-Yu/SPAT
Perform semantically-equivalent transformations on Java code
SecurityLab-UCD/SPAT’s past year of commit activity - UniTSyn Public
[ISSTA'24] A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing
SecurityLab-UCD/UniTSyn’s past year of commit activity - SecurityLab-UCD.github.io Public
SecurityLab-UCD/SecurityLab-UCD.github.io’s past year of commit activity - ai-agent-security Public
[RAIE'25] This repository contains source code for the demos and attacks we present in our paper Security of AI Agents.
SecurityLab-UCD/ai-agent-security’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…