GAINS: Getting stArted wIth biNary analysiS
☆31Feb 23, 2022Updated 4 years ago
Alternatives and similar repositories for GAINS
Users that are interested in GAINS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TeLL: Log Level Suggestions via Modeling Multi-Level Code Block Information, ISSTA'22☆14Jul 14, 2022Updated 4 years ago
- An standalone execution trace library built on DynamoRIO.☆23Jul 4, 2022Updated 4 years ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆28Apr 17, 2023Updated 3 years ago
- The HitchHiker's Guide to High-Assurance System Observability Protection with Efficient Permission Switches, ACM CCS'24☆11Nov 11, 2024Updated last year
- PalanTír: Optimizing Attack Provenance with Hardware-enhanced System Observability, ACM CCS'22☆25Nov 11, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Source code of AsiaCCS'22 paper - RecIPE: Revisiting the Evaluation of Memory Error Defenses☆14Sep 19, 2023Updated 3 years ago
- SHADEWATCHER: Recommendation-guided Cyber Threat Analysis using System Audit Records, Oakland'22☆84Jun 6, 2023Updated 3 years ago
- Collection of WebAssembly research papers on security topics☆12Jun 21, 2024Updated 2 years ago
- Have fun with audit log analysis :)☆155May 5, 2024Updated 2 years ago
- ☆11May 3, 2019Updated 7 years ago
- Bilingual Resume Template in Latex. 中英双语Latex简历模板☆21Jun 4, 2024Updated 2 years ago
- UI-CTX: demystifying Android UI behaviors with a concise and effective representation, in NDSS '25☆14Jan 17, 2025Updated last year
- Push-button reliability testing system for cloud-backed applications.☆27Oct 29, 2023Updated 3 years ago
- A portable framework to map DFG (dataflow graph, representing an application) on spatial accelerators.☆41Oct 31, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Erebor: A Drop-In Sandbox Solution for Private Data Processing in Untrusted Confidential Virtual Machines, ACM EuroSys'25☆16Feb 6, 2026Updated 8 months ago
- Learning graph-based code representations for source-level functional similarity detection. ICSE'23☆64Mar 27, 2023Updated 3 years ago
- ☆28Dec 10, 2021Updated 4 years ago
- A version of Griffin used to provide program traces☆15Sep 2, 2020Updated 6 years ago
- The implementation of paper "Leveraging Multimodal Features and Item-level User Feedback for Bundle Construction", WSDM'24.☆18Oct 30, 2025Updated last year
- Securing System Logs With Intel SGX☆17Mar 31, 2017Updated 9 years ago
- Usenix Security'23☆16Feb 14, 2023Updated 3 years ago
- PatchEval: A New Benchmark for Evaluating LLMs on Patching Real-World Vulnerabilities☆234Oct 19, 2026Updated 2 weeks ago
- Diagnose performance issues in macOS based on mac_tracing.☆20May 16, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Symbolic Execution Over Processor Traces☆127Aug 14, 2024Updated 2 years ago
- bintbit is a bitvector theory SMT solver and CDCL SAT solver☆13Oct 4, 2026Updated 3 weeks ago
- Material from the DARPA Transparent Computing Program☆252Apr 29, 2020Updated 6 years ago
- Onsite Analysis Infrastructure☆16Jun 23, 2020Updated 6 years ago
- Disassemblers with various trimming methodologies☆17Mar 22, 2026Updated 7 months ago
- program analysis for machine code☆39Oct 26, 2021Updated 5 years ago
- weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interestin…☆18May 25, 2026Updated 5 months ago
- ☆13Apr 13, 2023Updated 3 years ago
- ☆89Feb 24, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Official repository of "SeGA: Preference-Aware Self-Contrastive Learning with Prompts for Anomalous User Detection on Twitter" @ AAAI 202…☆10Nov 30, 2024Updated last year
- A method for grouping, clustering, and merging semi-structured alerts☆28Nov 15, 2024Updated last year
- Kernel isolation tester.☆18Oct 20, 2022Updated 4 years ago
- ESP AMP☆23Dec 1, 2025Updated 11 months ago
- Understanding and Reusing Test Suites Across Database Systems. SIGMOD'25☆11Jan 13, 2026Updated 9 months ago
- revised☆24Jul 26, 2020Updated 6 years ago
- Jakub's security research☆17Sep 21, 2026Updated last month