bliutech / SeBRUSLinks
MIT IEEE URTC 2023. GSET 2023. Repository for "SeBRUS: Mitigating Data Poisoning in Crowdsourced Datasets with Blockchain". Using Ethereum smart contracts to stop AI security attacks on crowdsourced datasets.
☆10Updated last year
Alternatives and similar repositories for SeBRUS
Users that are interested in SeBRUS are comparing it to the libraries listed below
Sorting:
- Contract-Based Goal Graph Implementation. Combining LTL synthesis and contract-based design to model and analysis complex systems☆11Updated 2 years ago
- Information on the Phase II Industry Day for the Centers of Excellence at USDA.☆13Updated 6 years ago
- Challenge Problem #1 - Linux Kernel (NOTE: This code does not reflect the active state of what will be used at competition time, please r…☆53Updated last year
- Code used to run the platform for the LLM CTF colocated with SaTML 2024☆26Updated last year
- Source code for the 2022 DEF CON Finals.☆51Updated 2 years ago
- This repository contains the code, the dataset and the experimental results related to the paper "Vulnerabilities in AI Code Generators: …☆10Updated 10 months ago
- BinaryCFGExtractor is an automated tool for extracting binary code control flow graph (CFG).☆15Updated 4 years ago
- Symmetric Encryption with Language Models☆13Updated 2 years ago
- Honest-but-Curious Nets: Sensitive Attributes of Private Inputs Can Be Secretly Coded into the Classifiers' Outputs (ACM CCS'21)☆17Updated 2 years ago
- Fuzzer for Amplification Vulnerabilities (USENIX '22, Krupp et al)☆15Updated 2 years ago
- Universal Robustness Evaluation Toolkit (for Evasion)☆31Updated last month
- ☆23Updated 4 years ago
- Monorepo for challenges, infra, and theming for UIUCTF 2024 (https://2024.uiuc.tf/)☆14Updated 11 months ago
- Website for Research Artifacts from the Security Community☆18Updated last week
- Hack the Plane with Legos and Arduinos!☆6Updated last year
- Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.☆20Updated 3 years ago
- Interview questions for Computer Science faculty jobs☆40Updated last year
- This is the official repository for the code used in the paper: "What Was Your Prompt? A Remote Keylogging Attack on AI Assistants", USEN…☆51Updated 4 months ago
- A model-based API Fuzzer for SMT Solvers.☆14Updated 2 months ago
- An autograder base Docker image for Gradescope with improved security☆18Updated 2 years ago
- Reproduction Code for FSE Paper "DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks"☆12Updated 4 years ago
- A configurable synthesizer of complex data structures☆8Updated 5 months ago
- Implementation of DigFuzz (NDSS19 "Send Hardest Problems My Way: Probabilistic Path Prioritization for Hybrid Fuzzing")☆22Updated 2 years ago
- Codebase of https://arxiv.org/abs/2410.14923☆48Updated 8 months ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆28Updated 2 years ago
- AutoMATES: Automated Model Assembly from Text, Equations, and Software☆25Updated last year
- Public BanditFuzz Repo☆12Updated 4 years ago
- The home for ACM Cyber at UCLA! Website for the premier cybersecurity club at UCLA.☆11Updated 3 weeks ago
- ☆15Updated 10 months ago
- An Execution Isolation Architecture for LLM-Based Agentic Systems☆82Updated 4 months ago