Archives
- 07 Apr Cracking 逃离鸭科夫
- 05 Apr [Share] Some Emulators
- 23 Mar [Paper] FoxDec: Formally verified lifting of C-compiled x86-64 binaries [Work in Progress]
- 22 Mar Setting up a Windows VM for Reverse Engineering
- 22 Mar [Share] X86-64 CPU Emulator "Cpueaxh"
- 22 Mar Deobfuscation on Polaris-Obfuscator/AliasAccess
- 22 Mar [SPA] Weakest Precondition
- 22 Mar [SPA] Reaching Definition Analysis
- 22 Mar [SPA] Live Variable Analysis
- 22 Mar [SPA] Forward-flow Analysis
- 22 Mar [SPA] Backward-flow Analysis
- 21 Mar Inspecting SMT Solvers on their Capabilities and Limitations
- 20 Mar Deobfuscation on Polaris-Obfuscator/BogusControlFlow
- 19 Mar Deobfuscation on Polaris-Obfuscator/IndirectCall
- 18 Mar Empirical Analysis of Binary Obfuscations [Working]
- 18 Mar Behavioral Cloning and Interactive Imitation Learning
- 18 Mar CHPC Security Assessment: Policies, Controls, and Gaps
- 18 Mar Paper Reading: FIBER — Finding Binaries for Patch Verification
- 18 Mar Paper Reading: PS^3 — Patch Semantic Symbolic Signatures
- 18 Mar Learn Agentic RL