FunSeeker: Binary Function Identification Tool
☆26Dec 23, 2023Updated 2 years ago
Alternatives and similar repositories for FunSeeker
Users that are interested in FunSeeker are comparing it to the libraries listed below
Sorting:
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆34Jan 27, 2025Updated last year
- ☆12Apr 1, 2025Updated 11 months ago
- Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)☆27Dec 11, 2023Updated 2 years ago
- Proof-of-Concept of the Frontal Attack☆11Jul 6, 2023Updated 2 years ago
- ☆10Dec 26, 2023Updated 2 years ago
- Demonstrating the BadAss issue.☆17May 19, 2025Updated 9 months ago
- Research Artifact for HPCA'24 Paper: *Modeling, Derivation, and Automated Analysis of Branch Predictor Security Vulnerabilities*.☆11Oct 30, 2025Updated 4 months ago
- Spectre variant 1 exploitation via PRIME+PROBE☆10May 22, 2019Updated 6 years ago
- Hypervisor from scratch in linux☆13May 8, 2022Updated 3 years ago
- Proof-of-concept implementation for the paper "ThermalScope: A Practical Interrupt Side Channel Attack Based On Thermal Event Interrupts"…☆13Dec 17, 2024Updated last year
- The official repository for EEMBC's SecureMark™-TLS cryptography benchmark.☆19Feb 4, 2023Updated 3 years ago
- FortifyPatch: Towards Tamper-resistant Live Patching in Linux-based Hypervisor.☆17Sep 22, 2025Updated 5 months ago
- ☆10Jan 3, 2023Updated 3 years ago
- This is a ctf challenge for qemu escape, it's basic and normal, but there is a thinking trap in it, you may need some time to find out th…☆10Mar 28, 2024Updated last year
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆20Apr 1, 2025Updated 11 months ago
- Fuzz testing for Dafny☆13Jul 7, 2022Updated 3 years ago
- ☆37May 19, 2023Updated 2 years ago
- ☆14Aug 17, 2024Updated last year
- Implementation of the Reusable Enclaves paper☆14Sep 25, 2023Updated 2 years ago
- The prototype system of paper Similarity Metric Method for Binary Basic Blocks of Cross-Instruction Set Architecture.☆29Jan 12, 2023Updated 3 years ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58May 8, 2024Updated last year
- Memory Tagging ISA extension that can be used by software to enforce memory tag checks on memory loads and stores☆28Dec 18, 2025Updated 2 months ago
- Tests for verifying compliance of RMM implementations☆21Sep 22, 2025Updated 5 months ago
- ☆18Sep 1, 2018Updated 7 years ago
- Proof-of-concept implementation for the paper "SegScope: Probing Fine-grained Interrupts via Architectural Footprints" (HPCA'24)☆19Jan 26, 2026Updated last month
- B2R2 is a collection of useful algorithms, functions, and tools for binary analysis.☆446Feb 23, 2026Updated last week
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- a generic decompiler testing framework that can automatically vet the decompilation correctness on the function level.☆18Sep 12, 2024Updated last year
- Modular Provable Security on Commodity System and Application Software Stacks☆13Jan 6, 2022Updated 4 years ago
- Virtual Inheritance Reverse Engineering☆19Aug 20, 2020Updated 5 years ago
- ynetd: a small (< 400 lines of C) server for binding programs to TCP ports☆20Nov 24, 2024Updated last year
- caijiqhx notes☆17Oct 26, 2024Updated last year
- Trusted I/O Paths for SGX Enclaves☆18Apr 30, 2020Updated 5 years ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆44Mar 3, 2024Updated last year
- ShadowBound: Efficient Memory Protection through Advanced Metadata Management and Customized Compiler Optimization (USENIX Security 2024)…☆26Jul 31, 2024Updated last year
- Forked from tf-rmm@trustedfirmware, support QEMU platform. Check wiki for instruction. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆21Apr 15, 2023Updated 2 years ago
- ☆86Nov 5, 2024Updated last year
- ☆20Mar 10, 2022Updated 3 years ago
- TEE hardware - based on the chipyard repository - hardware to accelerate TEE☆24Dec 16, 2022Updated 3 years ago