Skip to content
Change the repository type filter

All

    Repositories list

    • A Python toolkit for loading, parsing, and processing Vulnerability-Fixing Commit (VFC) datasets.
      Python
      0100Updated Apr 29, 2026Apr 29, 2026
    • Stealing Decision Trees via Enclave Side Channels
      0000Updated Apr 20, 2026Apr 20, 2026
    • Beyond Accuracy: Characterizing Code Comprehension Capabilities in (Large) Language Models
      Python
      0000Updated Mar 24, 2026Mar 24, 2026
    • C
      0100Updated Mar 20, 2026Mar 20, 2026
    • DRAMatic Speedup: Accelerating HE Operations on a Processing-in-Memory System
      C++
      0100Updated Feb 10, 2026Feb 10, 2026
    • Attacks and Remedies for Randomness in AI: Cryptanalysis of PHILOX and THREEFRY
      0000Updated Jan 27, 2026Jan 27, 2026
    • Swage

      Public
      Rust
      MIT License
      0200Updated Jan 22, 2026Jan 22, 2026
    • Fully Gradient-based Program Analysis
      Python
      MIT License
      0200Updated Dec 19, 2025Dec 19, 2025
    • 0000Updated Dec 15, 2025Dec 15, 2025
    • SLasH-DSA

      Public
      Jupyter Notebook
      0200Updated Nov 5, 2025Nov 5, 2025
    • SV Comp Submission for DASA
      Python
      0100Updated Oct 20, 2025Oct 20, 2025
    • Silenzio

      Public
      Secure Non-Interactive Outsourced MLP Training
      0000Updated Sep 17, 2025Sep 17, 2025
    • Official repository for the research paper "Prompt Pirates Need a Map: Stealing Seeds helps Stealing Prompts", https://arxiv.org/abs/2509.09488
      Jupyter Notebook
      0400Updated Sep 12, 2025Sep 12, 2025
    • dash

      Public
      Accelerating Distributed Private Machine Learning Inference with Arithmetic Garbled Circuits
      C++
      GNU General Public License v3.0
      1300Updated Sep 12, 2025Sep 12, 2025
    • zebrafix

      Public
      The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
      C++
      Other
      17k300Updated Jul 28, 2025Jul 28, 2025
    • OCEAN

      Public
      OCEAN: Open-World Contrastive Authorship Identification
      Python
      0400Updated Jun 19, 2025Jun 19, 2025
    • AutoStub

      Public
      AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution
      Java
      1300Updated Apr 24, 2025Apr 24, 2025
    • tdxdown

      Public
      Software Artifacts for the paper "TDXdown: Single-Stepping and Instruction Counting Attacks against Intel TDX"
      GNU General Public License v3.0
      11900Updated Oct 14, 2024Oct 14, 2024
    • Encopia Web Home
      TeX
      1100Updated Jul 8, 2024Jul 8, 2024
    • This is a fork of the code from "Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context". `multispy` is a lsp client library in Python i…
      Python
      MIT License
      33000Updated Jun 10, 2024Jun 10, 2024
    • obelix

      Public
      Proof-of-concept implementation of the Obelix software hardening framework, based on LLVM.
      Other
      17k1200Updated May 22, 2024May 22, 2024
    • Next-gen Rowhammer fuzzer that uses non-uniform, frequency-based patterns.
      C++
      MIT License
      39200Updated Apr 10, 2024Apr 10, 2024
    • no-drama

      Public
      Rust
      0000Updated Apr 10, 2024Apr 10, 2024
    • C++
      1100Updated Feb 12, 2024Feb 12, 2024
    • teejam

      Public
      C
      0100Updated Feb 7, 2024Feb 7, 2024
    • cipherfix

      Public
      Source code of the Cipherfix framework for fixing ciphertext side-channels.
      C++
      Other
      1730Updated Aug 23, 2023Aug 23, 2023
    • Homepage of the PeT-HMR project
      SCSS
      Other
      3001Updated Aug 15, 2023Aug 15, 2023
    • Python
      0000Updated Jun 16, 2023Jun 16, 2023
    • Proof-of-concept code for the EuroS&P '23 paper "Act natural!"
      Python
      MIT License
      0100Updated Jun 1, 2023Jun 1, 2023
    • MAMBO-V

      Public
      MAMBO-V: Dynamic Side-Channel Leakage Analysis on RISC-V
      C
      Apache License 2.0
      11020Updated May 30, 2023May 30, 2023
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.