pith. sign in

Juanru Li

Identifiers

No identifiers captured yet.

Papers (3)

  1. CREBench: Evaluating Large Language Models in Cryptographic Binary Reverse Engineering cs.CR · 2026 · author #5
  2. QCP: A Practical Separation Logic-based C Program Verification Tool cs.PL · 2025 · author #12
  3. BinMatch: A Semantics-based Hybrid Approach on Binary Code Clone Analysis cs.SE · 2018 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors