Skip to content

@SecurityLab-UCD SecurityLab @ UCDavis

All

    Repositories list

    42 repositories

    • ContractBench

      Public
      ContractBench: evaluating observation contract failures (validity + integrity) in LLM agents. 33 harbor-runnable API-contract tasks with deterministic programma…
      Python
      •
      MIT License
      •0•1•3•1•Updated Sep 3, 2026Sep 3, 2026

    • ContractBench-inspect

      Public
      Inspect AI eval for ContractBench — 33 observation-contract tasks (validity + integrity). Register-ready for inspect_evals.
      Python
      •0•0•0•0•Updated Jun 17, 2026Jun 17, 2026

    • korabench

      Public
      Everything needed to run the KORA benchmark for AI Child Safety.
      TypeScript
      •
      Apache License 2.0
      •18•0•1•0•Updated May 29, 2026May 29, 2026

    • game-fuzz-trophies

      Public
      Archive Fuzzing Trophies for the Game Fuzz Project
      0•0•0•0•Updated Mar 8, 2026Mar 8, 2026

    • InvPT

      Public
      Invariant Pre-training for Robust Code Representation Learning
      C#
      •0•1•0•0•Updated Mar 2, 2026Mar 2, 2026

    • gamecov

      Public
      Map coverage for automated game play-testing
      Python
      •0•0•1•0•Updated Feb 11, 2026Feb 11, 2026

    • CNTG

      Public
      [ISSRE 2026] LLM-based Invariant testing for Software Functional Bugs
      C++
      •0•1•0•0•Updated Jan 28, 2026Jan 28, 2026

    • CGNTG

      Public
      PromtFuzz is an automated tool that generates high-quality fuzz drivers for libraries via a fuzz loop constructed on mutating LLMs' prompts.
      Rust
      •40•1•0•0•Updated Jan 25, 2026Jan 25, 2026

    • oss-fuzz-lisa

      Public
      OSS-Fuzz - continuous fuzzing for open source software.
      Shell
      •
      Apache License 2.0
      •2.9k•0•0•0•Updated Jan 13, 2026Jan 13, 2026

    • vllm

      Public
      A high-throughput and memory-efficient inference and serving engine for LLMs
      Python
      •
      Apache License 2.0
      •23k•0•0•0•Updated Dec 20, 2025Dec 20, 2025

    • TF-Bench

      Public
      [NeurIPS'25] Evaluating Program Semantics Reasoning with Type Inference in System F
      benchmarkhaskelltype-inference
      benchmarkhaskelltype-inferencesystem-fcode-understandingllmprogram-semanticsllm-reasoning
      Python
      •
      MIT License
      •0•4•0•1•Updated Nov 26, 2025Nov 26, 2025

    • LiveCodeBench

      Public
      Official repository for the paper "LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code"
      Python
      •
      MIT License
      •205•0•0•0•Updated Nov 4, 2025Nov 4, 2025

    • FuzzAug

      Public
      [EMNLP'25] FuzzAug: Data Augmentation by Coverage-guided Fuzzing for Neural Test Generation
      rustemnlptest-generation
      rustemnlptest-generationdata-augmentationllmemnlp2025
      Python
      •
      MIT License
      •1•9•0•0•Updated Sep 18, 2025Sep 18, 2025

    • SkyThought

      Public
      Sky-T1: Train your own O1 preview model within $450
      Python
      •
      Apache License 2.0
      •344•0•0•0•Updated Jul 12, 2025Jul 12, 2025

    • alpharewrite

      Public
      Rewriter for Benchmark-F, transform Haskell functions into alpha-equiv form with no natural language!
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated May 12, 2025May 12, 2025

    • IRFuzzer

      Public
      [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation
      llvmfuzzingcompilers
      llvmfuzzingcompilersicseicse2025
      Python
      •
      Apache License 2.0
      •4•24•1•0•Updated Mar 26, 2025Mar 26, 2025

    • stk-code

      Public
      The code base of supertuxkart
      C++
      •
      Other
      •1.2k•0•0•0•Updated Mar 7, 2025Mar 7, 2025

    • SPAT

      Public
      Perform semantically-equivalent transformations on Java code
      Java
      •
      Apache License 2.0
      •7•0•0•0•Updated Jan 13, 2025Jan 13, 2025

    • UniTSyn

      Public
      [ISSTA'24] A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing
      datasettest-generationissta
      datasettest-generationisstallmissta-2024
      Python
      •
      Apache License 2.0
      •1•12•1•0•Updated Jan 7, 2025Jan 7, 2025

    • SecurityLab-UCD.github.io

      Public
      0•0•0•0•Updated Dec 15, 2024Dec 15, 2024

    • 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`.
      encryptionsecurity-analysisai-agents
      encryptionsecurity-analysisai-agentsicse2025raie2025
      Python
      •2•7•0•0•Updated Dec 15, 2024Dec 15, 2024

    • LLAMAFUZZ

      Public
      [AST'26] LLAMAFUZZ: Large Language Model Enhanced Greybox Fuzzing
      Python
      •2•23•0•0•Updated Dec 3, 2024Dec 3, 2024

    • SafeDiff

      Public
      Defense prompt jailbreak to diffusion models
      Jupyter Notebook
      •1•4•0•0•Updated Nov 4, 2024Nov 4, 2024

    • AgentBench

      Public
      A Comprehensive Benchmark to Evaluate LLMs as Agents (ICLR'24)
      Python
      •280•1•0•0•Updated Aug 6, 2024Aug 6, 2024

    • llvm-project

      Public
      The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this …
      Other
      •19k•0•0•0•Updated Jul 8, 2024Jul 8, 2024

    • fuzzbench

      Public
      FuzzBench - Fuzzer benchmarking as a service.
      Python
      •
      Apache License 2.0
      •302•0•0•0•Updated Jun 8, 2024Jun 8, 2024

    • magma

      Public
      A ground-truth fuzzing benchmark suite based on real programs with real bugs.
      HTML
      •116•0•0•0•Updated Jun 7, 2024Jun 7, 2024

    • Diffusion-steer

      Public
      Experiment LM-Steer with diffusion
      Python
      •
      MIT License
      •23•1•0•0•Updated May 2, 2024May 2, 2024

    • AFLplusplus

      Public
      The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutato…
      C
      •
      Apache License 2.0
      •1.3k•0•0•0•Updated Apr 18, 2024Apr 18, 2024

    • LLVM-fuzzing-trophies

      Public
      0•6•0•0•Updated Mar 21, 2024Mar 21, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.