{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"Smartian-Artifact","owner":"SoftSec-KAIST","isFork":false,"description":"Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":2,"starsCount":12,"forksCount":8,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-10T06:21:35.969Z"}},{"type":"Public","name":"Fuzzing-Survey","owner":"SoftSec-KAIST","isFork":false,"description":"The Art, Science, and Engineering of Fuzzing: A Survey","allTopics":["visualization","fuzzing","fuzzer","genealogy-database"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":1,"issueCount":0,"starsCount":189,"forksCount":21,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-04T05:23:20.064Z"}},{"type":"Public","name":"Reassessor","owner":"SoftSec-KAIST","isFork":false,"description":"Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)","allTopics":["binary-analysis","software-testing","recompile","reassembler"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":29,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-19T13:32:30.770Z"}},{"type":"Public","name":"Smartian","owner":"SoftSec-KAIST","isFork":false,"description":"Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)","allTopics":["fsharp","fuzzing","static-analyzer","fuzzer","smart-contract-testing"],"primaryLanguage":{"name":"F#","color":"#b845fc"},"pullRequestCount":1,"issueCount":5,"starsCount":137,"forksCount":21,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-09T10:21:25.658Z"}},{"type":"Public","name":"Smartian-nethermind","owner":"SoftSec-KAIST","isFork":true,"description":"Our flagship .NET Core Ethereum client for Linux, Windows, MacOs - full and actively developed.","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":406,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-06T09:30:46.509Z"}},{"type":"Public","name":"Smartian-Dirichlet","owner":"SoftSec-KAIST","isFork":true,"description":"Dirichlet .NET Number Theory Library","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":6,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-15T03:55:28.750Z"}},{"type":"Public","name":"Fuzzle","owner":"SoftSec-KAIST","isFork":false,"description":"Fuzzle: Making a Puzzle for Fuzzers (ASE'22)","allTopics":["benchmark","fuzzing"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":40,"forksCount":8,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-03T06:32:48.609Z"}},{"type":"Public","name":"BinKit","owner":"SoftSec-KAIST","isFork":false,"description":"Binary Code Similarity Analysis (BCSA) Benchmark","allTopics":["binary-analysis","benchmark"],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":2,"starsCount":126,"forksCount":22,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-15T02:24:01.759Z"}},{"type":"Public","name":"BotScreen","owner":"SoftSec-KAIST","isFork":false,"description":"BotScreen: Trust Everybody, but Cut the Aimbots Yourself (USENIX Security '23)","allTopics":["aimbot","anticheat","cs-go"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":11,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-25T05:14:46.823Z"}},{"type":"Public","name":"MeanDiff-LifterPyVEX","owner":"SoftSec-KAIST","isFork":false,"description":"Lift instruction to VEX, using PyVEX, and translate to MeanDiff's UIR","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-27T05:56:57.347Z"}},{"type":"Public","name":"Fuzzle-artifact","owner":"SoftSec-KAIST","isFork":false,"description":"Artifact evaluation repository for Fuzzle","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-27T05:55:09.816Z"}},{"type":"Public","name":"TikNib","owner":"SoftSec-KAIST","isFork":false,"description":"Binary Code Similarity Analysis (BCSA) Tool","allTopics":["binary-analysis","similarity-analysis"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":3,"starsCount":112,"forksCount":22,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-06T01:57:06.528Z"}},{"type":"Public","name":"IMF","owner":"SoftSec-KAIST","isFork":false,"description":"Inferred Model-based Fuzzer","allTopics":["macos","kernel-fuzzing","fuzzer"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":1,"starsCount":107,"forksCount":25,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-22T15:17:27.974Z"}},{"type":"Public","name":"NTFuzz","owner":"SoftSec-KAIST","isFork":false,"description":"NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis (IEEE S&P '21)","allTopics":["fsharp","windows-kernel","fuzzing","binary-analysis","fuzzer","b2r2","kernel-fuzzer"],"primaryLanguage":{"name":"F#","color":"#b845fc"},"pullRequestCount":0,"issueCount":6,"starsCount":89,"forksCount":22,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-21T09:35:10.785Z"}},{"type":"Public","name":"Eclipser","owner":"SoftSec-KAIST","isFork":false,"description":"Grey-box Concolic Testing on Binary Code (ICSE '19)","allTopics":["fsharp","fuzzing","fuzzer","testcase-generator","concolic-testing"],"primaryLanguage":{"name":"F#","color":"#b845fc"},"pullRequestCount":0,"issueCount":3,"starsCount":146,"forksCount":16,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-04T06:52:39.934Z"}},{"type":"Public","name":"Ankou","owner":"SoftSec-KAIST","isFork":false,"description":"Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)","allTopics":["fuzzing","fuzzer"],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":54,"forksCount":12,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-09-21T09:42:39.856Z"}},{"type":"Public","name":"Ankou-Benchmark","owner":"SoftSec-KAIST","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-02-19T12:42:50.930Z"}},{"type":"Public","name":"CodeAlchemist","owner":"SoftSec-KAIST","isFork":false,"description":"CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)","allTopics":["fsharp","code-generation","fuzzer","js-fuzzing"],"primaryLanguage":{"name":"F#","color":"#b845fc"},"pullRequestCount":0,"issueCount":1,"starsCount":233,"forksCount":41,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-11T03:57:38.863Z"}},{"type":"Public","name":"Eclipser-Artifact","owner":"SoftSec-KAIST","isFork":false,"description":"Docker image for Eclipser","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-01-28T10:36:38.464Z"}},{"type":"Public","name":"GitCTF","owner":"SoftSec-KAIST","isFork":false,"description":"Git-based CTF","allTopics":["ctf"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":59,"forksCount":9,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-12-05T14:34:10.091Z"}},{"type":"Public","name":"MeanDiff","owner":"SoftSec-KAIST","isFork":false,"description":"Testing Intermediate Representations for Binary Analysis (ASE '17)","allTopics":["fsharp","symbolic-execution","binary-analysis","differential-testing","semantic-bugs"],"primaryLanguage":{"name":"F#","color":"#b845fc"},"pullRequestCount":0,"issueCount":29,"starsCount":77,"forksCount":11,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-12-05T06:51:20.655Z"}},{"type":"Public","name":"MeanDiff-LifterBINSEC","owner":"SoftSec-KAIST","isFork":false,"description":"Lift instruction to DBA, using BINSEC, and translate to MeanDiff's UIR","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-12-05T04:20:37.523Z"}},{"type":"Public","name":"MeanDiff-LifterBAP","owner":"SoftSec-KAIST","isFork":false,"description":"Lift instruction to BIL, using BAP, and translate to MeanDiff's UIR","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-12-05T04:18:45.234Z"}},{"type":"Public","name":"MeanDiff-ExternalXED","owner":"SoftSec-KAIST","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-12-05T04:18:11.552Z"}},{"type":"Public","name":"MeanDiff-DockerBaseImage","owner":"SoftSec-KAIST","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-12-05T03:52:36.468Z"}}],"repositoryCount":25,"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":"SoftSec-KAIST repositories"}