{"payload":{"pageCount":3,"repositories":[{"type":"Public","name":"chainreactor","owner":"ucsb-seclab","isFork":false,"description":"ChainReactor is a research project that leverages AI planning to discover exploitation chains for privilege escalation on Unix systems. The project models the problem as a sequence of actions to achieve privilege escalation from initial access to a target system.","allTopics":["python","unix","automation","nix","ai","planner","exploit","planning","pddl","exploitation","privilege-escalation","security-tools","nix-flake","automated-exploitation","usenix-security","usenix-security-2024"],"primaryLanguage":{"name":"PDDL","color":"#0d00ff"},"pullRequestCount":0,"issueCount":0,"starsCount":10,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-19T00:43:42.560Z"}},{"type":"Public","name":"greed","owner":"ucsb-seclab","isFork":false,"description":"A symbolic execution engine for EVM smart contract binaries.","allTopics":["smart-contracts","symbolic-execution","binary-analysis","exploit-development"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":6,"starsCount":73,"forksCount":10,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-06T05:18:57.137Z"}},{"type":"Public","name":"GUIDE-ENRICHER","owner":"ucsb-seclab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-21T04:59:45.394Z"}},{"type":"Public","name":"default-effect-paper","owner":"ucsb-seclab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-20T06:46:44.346Z"}},{"type":"Public","name":"packware","owner":"ucsb-seclab","isFork":false,"description":"Effects of packers on machine-learning-based malware classifiers that use only static analysis","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":0,"starsCount":82,"forksCount":17,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-17T22:48:26.691Z"}},{"type":"Public","name":"xplor-cvex","owner":"ucsb-seclab","isFork":false,"description":"Public website and package registry for CVEX exploration with ERSP group 23/24","allTopics":["ersp-website"],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-07T19:59:15.494Z"}},{"type":"Public","name":"actor","owner":"ucsb-seclab","isFork":false,"description":"Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":27,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-06T00:56:19.078Z"}},{"type":"Public","name":"erigon","owner":"ucsb-seclab","isFork":true,"description":"Ethereum implementation on the efficiency frontier","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1092,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-10T22:41:22.285Z"}},{"type":"Public","name":"klee","owner":"ucsb-seclab","isFork":true,"description":"KLEE Symbolic Execution Engine","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":675,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-10T13:24:54.054Z"}},{"type":"Public","name":"diane","owner":"ucsb-seclab","isFork":false,"description":"DiAne is a smart fuzzer for IoT devices","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":4,"starsCount":38,"forksCount":7,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-03T18:42:30.463Z"}},{"type":"Public","name":"pretender","owner":"ucsb-seclab","isFork":false,"description":"Automatic modeling of hardware to enable the rehosting of embedded firmware","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":2,"starsCount":80,"forksCount":10,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-22T14:23:03.074Z"}},{"type":"Public","name":"crush","owner":"ucsb-seclab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-28T19:27:00.390Z"}},{"type":"Public","name":"jackal","owner":"ucsb-seclab","isFork":false,"description":"Confusum Contractum: Confused Deputy Vulnerabilities in Ethereum Smart Contracts","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-24T22:03:57.822Z"}},{"type":"Public","name":"shimware","owner":"ucsb-seclab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-14T01:26:21.109Z"}},{"type":"Public","name":"goldphish","owner":"ucsb-seclab","isFork":false,"description":"Arbitrage bot for the Ethereum blockchain","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":56,"forksCount":9,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-04T22:22:22.445Z"}},{"type":"Public","name":"heapster","owner":"ucsb-seclab","isFork":false,"description":"Identify and test the security of dynamic memory allocators in monolithic firmware images","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":41,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-02T00:50:45.051Z"}},{"type":"Public","name":"py-evm","owner":"ucsb-seclab","isFork":true,"description":"A Python implementation of the Ethereum Virtual Machine (plus analysis add-ons)","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":647,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-05T06:21:10.582Z"}},{"type":"Public","name":"harden-HBFA","owner":"ucsb-seclab","isFork":true,"description":"HBFA fuzzer fork for the HARDEN project","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":146,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-14T22:20:29.594Z"}},{"type":"Public","name":"DeepCASE","owner":"ucsb-seclab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-21T00:19:05.116Z"}},{"type":"Public","name":"DeepCASE-Dataset","owner":"ucsb-seclab","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-21T00:15:18.536Z"}},{"type":"Public","name":"symbexcel-server","owner":"ucsb-seclab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-15T19:53:49.675Z"}},{"type":"Public","name":"columbus","owner":"ucsb-seclab","isFork":false,"description":"Source code for Columbus (ICSE 2023 paper)","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":1,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-09T20:08:28.166Z"}},{"type":"Public","name":"VenoMave","owner":"ucsb-seclab","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-03T18:59:48.111Z"}},{"type":"Public","name":"nft-security-study","owner":"ucsb-seclab","isFork":false,"description":"Code and data of the CCS '22 paper titled \"Understanding Security Issues in the NFT Ecosystem\"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":10,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-20T20:18:41.156Z"}},{"type":"Public","name":"popkorn-artifact","owner":"ucsb-seclab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":56,"forksCount":10,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-14T22:02:00.209Z"}},{"type":"Public","name":"cs177-ctfd","owner":"ucsb-seclab","isFork":true,"description":"CTFs as you need them","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2061,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-23T22:15:46.309Z"}},{"type":"Public","name":"cs177-ctfd-oracle-challenges","owner":"ucsb-seclab","isFork":false,"description":"Plugin for CTFd to manage oracle challenges","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-10T23:44:15.036Z"}},{"type":"Public","name":"sailfish","owner":"ucsb-seclab","isFork":false,"description":"Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":3,"starsCount":50,"forksCount":13,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-05T05:35:00.762Z"}},{"type":"Public","name":"slither-sailfish","owner":"ucsb-seclab","isFork":false,"description":"Modified Slither for Sailfish","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-31T23:08:26.686Z"}},{"type":"Public","name":"symbexcel","owner":"ucsb-seclab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":13,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-30T06:39:06.947Z"}}],"repositoryCount":63,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"ucsb-seclab repositories"}