degrigis / awesome-angr Goto Github PK

2019.(SC2NRF)State Consistency Checking for Non-reentrant Function Based on Taint Assisted Symbol Execution
2018.VMPBL: Identifying Vulnerable Functions Based on Machine Learning Combining Patched Information and Binary Comparison Technique by LCS
2015.(Multi-MH)Cross-architecture bug search in binary executables
2020.(SimTA)Finding 1-Day Vulnerabilities in Trusted Applications using Selective Symbolic Execution
2021.(EmTaint)Finding Taint-Style Vulnerabilities in Linux-based Embedded Firmware with SSE-based Alias Analysis
2019.FIoT: Detecting the Memory Corruption in Lightweight IoT Device Firmware
2020.Towards Learning Representations of Binary Executable Files for Security Tasks
2019.CryptoREX: Large-scale Analysis of Cryptographic Misuse in IoT Devices
2016.(MockingBird)Cross-architecture binary semantics understanding via similar code comparison
2017.(CACompare)Binary code clone detection across architectures and compiling configurations
2018.FirmUp: Precise static detection of common vulnerabilities in firmware
2018.(Zeek)Binary Similarity Detection Using Machine Learning
2019.(GeneDiff)Semantic-based representation binary clone detection for cross-architectures in the internet of things
2019.(BinSeeker)Semantic Learning and Emulation Based Cross-platform Binary Vulnerability Seeker
2018.BinMatch: A Semantics-based Hybrid Approach on Binary Code Clone Analysis
2021.Implementing a high-efficiency similarity analysis approach for firmware code
2021.QuickBCC: Quick and Scalable Binary Vulnerable Code Clone Detection
2018.(BinAuthor)On Leveraging Coding Habits for Effective Binary Authorship Attribution
2020.A Novel Concolic Execution Approach on Embedded Device
2020.(Symba)Techniques for Malware Analysis based on Symbolic Execution
2017.Assisting malware analysis with symbolic execution: A case study
2018.Bintaint: A Static Taint Analysis Method for Binary Vulnerability Mining
2020.VYPER: Vulnerability detection in binary code
2016.(WatSym)Combining static analysis and targeted symbolic execution for scalable bug-finding in application binaries
2019.(Gerbil)Identifying Privilege Separation Vulnerabilities in IoT Firmware with Symbolic Execution
2016.A lightweight method for accelerating discovery of taint-style vulnerabilities in embedded systems
2020.CPA: Accurate Cross-Platform Binary Authorship Characterization Using LDA
2019.On Preventing Symbolic Execution Attacks by Low Cost Obfuscation
2020.Symbolic Execution and Debugging Synchronization
2020.(angr-shape)A Shape-inference-based Approach to Enhance Constraint Independence Optimization