{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"BaseMirror","owner":"OSUSecLab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-19T19:19:39.767Z"}},{"type":"Public","name":"FirmXRay","owner":"OSUSecLab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":1,"starsCount":55,"forksCount":8,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-05T01:36:41.416Z"}},{"type":"Public","name":"bluetooth-pairing-formal-verification","owner":"OSUSecLab","isFork":false,"description":"Tamarin models for Bluetooth secure pairing protocols: Passkey Entry (PE) and Numeric comparison (NC)","allTopics":["bluetooth-low-energy","tamarin-prover"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-03T16:06:39.168Z"}},{"type":"Public","name":"BLEScope","owner":"OSUSecLab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-13T17:34:41.956Z"}},{"type":"Public","name":"TaintMini","owner":"OSUSecLab","isFork":false,"description":"Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis","allTopics":["security","taint-analysis","mini-programs","privacy-leakage","empirical-study"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":2,"issueCount":0,"starsCount":72,"forksCount":9,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-19T15:36:57.421Z"}},{"type":"Public","name":"5G-Spector","owner":"OSUSecLab","isFork":true,"description":"An O-RAN compliant runtime IDS for L3 celluar attack Detection","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":5,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-14T16:31:42.931Z"}},{"type":"Public","name":"vSGX","owner":"OSUSecLab","isFork":false,"description":"The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":52,"forksCount":2,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-07T18:43:40.976Z"}},{"type":"Public","name":"SymLM","owner":"OSUSecLab","isFork":false,"description":"Implementation of CCS'2022 paper \"SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embeddings\"","allTopics":["reverse-engineering","binary-analysis","language-model"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":50,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-02T02:00:29.623Z"}},{"type":"Public","name":"3DScan","owner":"OSUSecLab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":1,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-26T22:46:27.505Z"}},{"type":"Public","name":"Reusable-Enclaves","owner":"OSUSecLab","isFork":false,"description":"Implementation of the Reusable Enclaves paper","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":12,"forksCount":0,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-25T18:27:27.396Z"}},{"type":"Public","name":"CMRFScanner","owner":"OSUSecLab","isFork":false,"description":"This is the repository for the paper \"Cross Miniapp Request Forgery\"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":14,"forksCount":3,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-30T01:21:35.755Z"}},{"type":"Public","name":"PWRLEAK","owner":"OSUSecLab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-28T00:56:34.903Z"}},{"type":"Public","name":"QtRE","owner":"OSUSecLab","isFork":false,"description":"A Ghidra headless analyzer tailored for Qt binary analysis","allTopics":["qt","reverse-engineering","binary-analysis","ghidra"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":42,"forksCount":6,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-24T14:31:10.808Z"}},{"type":"Public","name":"CheatFighter","owner":"OSUSecLab","isFork":false,"description":"Extract threat intelligence from memory modifying game cheats through static binary analysis","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":1,"starsCount":3,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-08T18:46:04.380Z"}},{"type":"Public","name":"APIDiff","owner":"OSUSecLab","isFork":false,"description":"APIDiff is an automatic tool that generates test cases for each API and identifies execution discrepancies.","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":3,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-21T05:12:54.708Z"}},{"type":"Public","name":"RILDefender","owner":"OSUSecLab","isFork":false,"description":"RILDefender: An Android Mobile Privacy Protection Service Against SMS Exploits","allTopics":["android","sms","aosp"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":11,"forksCount":5,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-08T18:04:27.370Z"}},{"type":"Public","name":"IoTSpotter","owner":"OSUSecLab","isFork":true,"description":"Code and data release for CCS'2022 paper \"Understanding IoT Security from a Market-Scale Perspective\"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-13T13:07:42.870Z"}},{"type":"Public","name":"SGXRacer","owner":"OSUSecLab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-08T07:21:34.508Z"}},{"type":"Public","name":"TxSpector","owner":"OSUSecLab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":27,"issueCount":5,"starsCount":58,"forksCount":15,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-04T16:24:09.118Z"}},{"type":"Public","name":"v2v-sgx-prelim","owner":"OSUSecLab","isFork":false,"description":"Preliminary V2V SGX vs PKI code performance comparison ","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-06T22:37:09.603Z"}},{"type":"Public","name":"AutoMap","owner":"OSUSecLab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-31T15:43:55.203Z"}},{"type":"Public","name":"PaymentScope","owner":"OSUSecLab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-12T02:19:05.154Z"}},{"type":"Public","name":"GAENPlus","owner":"OSUSecLab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-08T19:02:31.526Z"}},{"type":"Public","name":"SelectiveTaint","owner":"OSUSecLab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":2,"starsCount":70,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-03T03:26:39.752Z"}},{"type":"Public","name":"SGX-Enclave-Formal-Verification","owner":"OSUSecLab","isFork":false,"description":"Tamarin models for state continuity of SGX enclave programs","allTopics":["tamarin-prover","intel-sgx","formal-models"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-06T15:49:14.231Z"}},{"type":"Public","name":"MiniCrawler","owner":"OSUSecLab","isFork":false,"description":"A keyword based crawler for WeChat Mini-apps","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":3,"starsCount":44,"forksCount":10,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-29T20:03:45.766Z"}},{"type":"Public","name":"DongleScope","owner":"OSUSecLab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":32,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-27T01:34:48.192Z"}},{"type":"Public","name":"InputScope","owner":"OSUSecLab","isFork":false,"description":"A tool that automatically detects both the execution context of user input validation and also the content involved in the validation, to automatically expose the secrets of interest.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":47,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-05-31T21:07:05.323Z"}},{"type":"Public","name":"CANHunter","owner":"OSUSecLab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":36,"forksCount":12,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-05-31T18:24:16.906Z"}},{"type":"Public","name":"LeakScope","owner":"OSUSecLab","isFork":false,"description":"Value set analysis(VSA) for revealing the possible values (strings) of the keys from mobile app","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":40,"forksCount":14,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-05-19T16:24:52.232Z"}}],"repositoryCount":35,"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":"OSUSecLab repositories"}